TIMER_INI          60 drivers/clocksource/timer-gx6605s.c 	writel_relaxed(ULONG_MAX - delta, base + TIMER_INI);
TIMER_INI         114 drivers/clocksource/timer-gx6605s.c 	writel_relaxed(0, base + TIMER_INI);