/* Start timer: Setup a 32 bit timer, running at 1KHz Versatile Express Motherboard provides 1 MHz timer  */
static void vexpress_timer_init(void)
/* Start timer: Setup a 32 bit timer, running at 1KHz Versatile Express Motherboard provides 1 MHz timer  */
static void vexpress_timer_init(void)
{
	writel(SP810_TIMER0_ENSEL | SP810_TIMER1_ENSEL |
	       SP810_TIMER2_ENSEL | SP810_TIMER3_ENSEL |
	       readl(&sysctrl_base->scctrl), &sysctrl_base->scctrl);
	writel(SYSTIMER_RELOAD, &systimer_base->timer0load);
	writel(SYSTIMER_RELOAD, &systimer_base->timer0value);
	writel(SYSTIMER_EN | SYSTIMER_32BIT |
	       readl(&systimer_base->timer0control),
	       &systimer_base->timer0control);
}