BOOT_ACPI          36 arch/x86/kernel/reboot.c enum reboot_type reboot_type = BOOT_ACPI;
BOOT_ACPI         397 arch/x86/kernel/reboot.c 		case BOOT_ACPI: