SIRFSOC_TIMER_COUNTER_HI  146 drivers/clocksource/timer-prima2.c 		sirfsoc_timer_base + SIRFSOC_TIMER_COUNTER_HI);
SIRFSOC_TIMER_COUNTER_HI  226 drivers/clocksource/timer-prima2.c 	writel_relaxed(0, sirfsoc_timer_base + SIRFSOC_TIMER_COUNTER_HI);