Searched refs:dmi_end_boot (Results 1 – 3 of 3) sorted by relevance
40 extern void dmi_end_boot(void);
808 void __init dmi_end_boot(void) in dmi_end_boot() function
1722 dmi_end_boot(); in __start_xen()
Completed in 6 milliseconds