Searched refs:preinit_xen_time (Results 1 – 3 of 3) sorted by relevance
47 void preinit_xen_time(void);
137 void __init preinit_xen_time(void) in preinit_xen_time() function
854 preinit_xen_time(); in start_xen()
Completed in 5 milliseconds