Searched refs:platform_init (Results 1 – 3 of 3) sorted by relevance
49 void __init platform_init(void);
47 void __init platform_init(void) in platform_init() function
778 platform_init(); in start_xen()
Completed in 5 milliseconds