TIMER_IER_VAL      74 drivers/clocksource/timer-vt8500.c 	writel(1, regbase + TIMER_IER_VAL);
TIMER_IER_VAL      82 drivers/clocksource/timer-vt8500.c 	writel(0, regbase + TIMER_IER_VAL);