TIMER0_VAL
writel(~0, timer_base + TIMER0_VAL);
ret = clocksource_mmio_init(timer_base + TIMER0_VAL,
return ~readl(timer_base + TIMER0_VAL);