Searched refs:init_cpu_vtimer (Results 1 – 3 of 3) sorted by relevance
47 extern void init_cpu_vtimer(void);
559 void init_cpu_vtimer(void) in init_cpu_vtimer() function596 init_cpu_vtimer(); in vtime_init()
462 init_cpu_vtimer(); in start_secondary()