TIMER_RELOAD
writel_relaxed(0xffffffff, base + TIMER_RELOAD);
clockevent_mps2_writel(0, ce, TIMER_RELOAD);
clockevent_mps2_writel(clock_count_per_tick, ce, TIMER_RELOAD);