clockevent_mps2_writel   56 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(0, ce, TIMER_RELOAD);
clockevent_mps2_writel   57 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(0, ce, TIMER_CTRL);
clockevent_mps2_writel   64 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(next, ce, TIMER_VALUE);
clockevent_mps2_writel   65 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(TIMER_CTRL_IE | TIMER_CTRL_ENABLE, ce, TIMER_CTRL);
clockevent_mps2_writel   74 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(clock_count_per_tick, ce, TIMER_RELOAD);
clockevent_mps2_writel   75 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(clock_count_per_tick, ce, TIMER_VALUE);
clockevent_mps2_writel   76 drivers/clocksource/mps2-timer.c 	clockevent_mps2_writel(TIMER_CTRL_IE | TIMER_CTRL_ENABLE, ce, TIMER_CTRL);