Searched refs:init_cpu_vtimer (Results 1 – 3 of 3) sorted by relevance
47 extern void init_cpu_vtimer(void);
562 void init_cpu_vtimer(void) in init_cpu_vtimer() function599 init_cpu_vtimer(); in vtime_init()
540 init_cpu_vtimer(); in start_secondary()