SIRFSOC_TIMER_64COUNTER_LOAD_HI  144 drivers/clocksource/timer-atlas7.c 		sirfsoc_timer_base + SIRFSOC_TIMER_64COUNTER_LOAD_HI);
SIRFSOC_TIMER_64COUNTER_LOAD_HI  249 drivers/clocksource/timer-atlas7.c 	writel_relaxed(0, sirfsoc_timer_base + SIRFSOC_TIMER_64COUNTER_LOAD_HI);