Searched refs:BOOT_EFI (Results 1 – 2 of 2) sorted by relevance
90 if (reboot_type != BOOT_EFI && !efi_runtime_disabled()) { in set_efi_reboot()91 reboot_type = BOOT_EFI; in set_efi_reboot()512 reboot_type = BOOT_EFI; in reboot_init()615 reboot_type = BOOT_EFI; in native_machine_emergency_restart()639 reboot_type = BOOT_EFI; in native_machine_emergency_restart()643 case BOOT_EFI: in native_machine_emergency_restart()
32 BOOT_EFI = 'e', enumerator
