TIMER_CTRL_VAL     46 drivers/clocksource/timer-vt8500.c 	writel(3, regbase + TIMER_CTRL_VAL);
TIMER_CTRL_VAL     81 drivers/clocksource/timer-vt8500.c 	writel(readl(regbase + TIMER_CTRL_VAL) | 1, regbase + TIMER_CTRL_VAL);
TIMER_CTRL_VAL    129 drivers/clocksource/timer-vt8500.c 	writel(1, regbase + TIMER_CTRL_VAL);