Searched refs:vtime_init (Results 1 – 4 of 4) sorted by relevance
28 extern void vtime_init(void);
443 void vtime_init(void) in vtime_init() function
284 vtime_init(); in time_init()
902 vtime_init(); in smp_start_secondary()