to_mps2_clkevt
writel_relaxed(val, to_mps2_clkevt(c)->reg + offset);
u32 clock_count_per_tick = to_mps2_clkevt(ce)->clock_count_per_tick;