Searched refs:BOOT_EFI (Results 1 – 3 of 3) sorted by relevance
91 if (reboot_type != BOOT_EFI && !efi_runtime_disabled()) { in set_efi_reboot()92 reboot_type = BOOT_EFI; in set_efi_reboot()515 reboot_type = BOOT_EFI; in reboot_init()651 reboot_type = BOOT_EFI; in native_machine_emergency_restart()675 reboot_type = BOOT_EFI; in native_machine_emergency_restart()679 case BOOT_EFI: in native_machine_emergency_restart()
33 BOOT_EFI = 'e', enumerator
1285 case BOOT_EFI: in type_show()1312 reboot_type = BOOT_EFI; in type_store()