Searched refs:acpi_reboot (Results 1 – 3 of 3) sorted by relevance
5 void acpi_reboot(void) in acpi_reboot() function
178 void acpi_reboot(void);
623 acpi_reboot(); in machine_restart()
Completed in 4 milliseconds