TIMER_STATUS_VAL   98 drivers/clocksource/timer-vt8500.c 	writel(0xf, regbase + TIMER_STATUS_VAL);
TIMER_STATUS_VAL  130 drivers/clocksource/timer-vt8500.c 	writel(0xf, regbase + TIMER_STATUS_VAL);