Searched refs:init_cpu_timer (Results 1 – 3 of 3) sorted by relevance
102 void init_cpu_timer(void);
130 void init_cpu_timer(void) in init_cpu_timer() function269 init_cpu_timer(); in time_init()
460 init_cpu_timer(); in start_secondary()