TIMER_INTVAL_REG   68 drivers/clocksource/timer-sun4i.c 	writel(delay, base + TIMER_INTVAL_REG(timer));
TIMER_INTVAL_REG  178 drivers/clocksource/timer-sun4i.c 	writel(~0, timer_of_base(&to) + TIMER_INTVAL_REG(1));