Searched refs:init_xen_time (Results 1 – 5 of 5) sorted by relevance
14 extern int init_xen_time(void);
173 int __init init_xen_time(void) in init_xen_time() function
795 init_xen_time(); in start_xen()
1577 init_xen_time(); in __start_xen()
1780 int __init init_xen_time(void) in init_xen_time() function
Completed in 14 milliseconds