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);