acpi_reboot        33 drivers/acpi/reboot.c void acpi_reboot(void)
acpi_reboot         8 include/acpi/reboot.h static inline void acpi_reboot(void) { }