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: