Searched refs:__arch_timer_setup (Results 1 – 1 of 1) sorted by relevance
674 static void __arch_timer_setup(struct clock_event_device *clk) in __arch_timer_setup() function831 __arch_timer_setup(clk); in arch_timer_starting_cpu()