Searched refs:init_cpu_timer (Results 1 – 3 of 3) sorted by relevance
113 void init_cpu_timer(void);
137 void init_cpu_timer(void) in init_cpu_timer() function277 init_cpu_timer(); in time_init()
539 init_cpu_timer(); in start_secondary()