to_mps2_clkevt     51 drivers/clocksource/mps2-timer.c 	writel_relaxed(val, to_mps2_clkevt(c)->reg + offset);
to_mps2_clkevt     72 drivers/clocksource/mps2-timer.c 	u32 clock_count_per_tick = to_mps2_clkevt(ce)->clock_count_per_tick;