TIMER_AS_VAL       47 drivers/clocksource/timer-vt8500.c 	while ((readl((regbase + TIMER_AS_VAL)) & TIMER_COUNT_R_ACTIVE)
TIMER_AS_VAL       66 drivers/clocksource/timer-vt8500.c 	while ((readl(regbase + TIMER_AS_VAL) & TIMER_MATCH_W_ACTIVE)