TIMER_RELOAD       56 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(0, ce, TIMER_RELOAD);
TIMER_RELOAD       74 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(clock_count_per_tick, ce, TIMER_RELOAD);
TIMER_RELOAD      221 drivers/clocksource/mps2-timer.c 	writel_relaxed(0xffffffff, base + TIMER_RELOAD);