atcpit100_clkevt_time_start  140 drivers/clocksource/timer-atcpit100.c 	atcpit100_clkevt_time_start(timer_of_base(to));
atcpit100_clkevt_time_start  253 drivers/clocksource/timer-atcpit100.c 	atcpit100_clkevt_time_start(base);