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