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