acpi_reboot       398 arch/x86/kernel/reboot.c 			acpi_reboot();
acpi_reboot         5 include/acpi/reboot.h extern void acpi_reboot(void);