Searched refs:acpi_boot_init (Results 1 – 3 of 3) sorted by relevance
71 int acpi_boot_init (void);116 static inline int acpi_boot_init(void) in acpi_boot_init() function
722 int __init acpi_boot_init(void) in acpi_boot_init() function
1694 acpi_boot_init(); in __start_xen()
Completed in 7 milliseconds