Searched refs:secondary_cpu_time_init (Results 1 – 3 of 3) sorted by relevance
95 extern void secondary_cpu_time_init(void);
889 void secondary_cpu_time_init(void) in secondary_cpu_time_init() function
1643 secondary_cpu_time_init(); in start_secondary()