Searched refs:platform_init_time (Results 1 – 3 of 3) sorted by relevance
50 int __init platform_init_time(void);
77 int __init platform_init_time(void) in platform_init_time() function
149 res = platform_init_time(); in preinit_xen_time()
Completed in 3 milliseconds