BOOT_ACPI
reboot_type = BOOT_ACPI;
if (reboot_type != BOOT_ACPI) {
reboot_type = BOOT_ACPI;
case BOOT_ACPI:
if (attempt == 0 && orig_reboot_type == BOOT_ACPI) {
reboot_type = BOOT_ACPI;
case BOOT_ACPI:
reboot_type = BOOT_ACPI;
enum reboot_type reboot_type = BOOT_ACPI;