BOOT_EFI           90 arch/x86/kernel/reboot.c 	if (reboot_type != BOOT_EFI && !efi_runtime_disabled()) {
BOOT_EFI           91 arch/x86/kernel/reboot.c 		reboot_type = BOOT_EFI;
BOOT_EFI          512 arch/x86/kernel/reboot.c 		reboot_type = BOOT_EFI;
BOOT_EFI          615 arch/x86/kernel/reboot.c 		reboot_type = BOOT_EFI;
BOOT_EFI          639 arch/x86/kernel/reboot.c 				reboot_type = BOOT_EFI;
BOOT_EFI          643 arch/x86/kernel/reboot.c 		case BOOT_EFI: