arch/x86/kernel/reboot.c

515

reboot_type = BOOT_EFI;

arch/x86/kernel/reboot.c

651

reboot_type = BOOT_EFI;

arch/x86/kernel/reboot.c

675

reboot_type = BOOT_EFI;

arch/x86/kernel/reboot.c

679

case BOOT_EFI:

arch/x86/kernel/reboot.c

91

if (reboot_type != BOOT_EFI && !efi_runtime_disabled()) {

arch/x86/kernel/reboot.c

92

reboot_type = BOOT_EFI;

kernel/reboot.c

1285

case BOOT_EFI:

kernel/reboot.c

1312

reboot_type = BOOT_EFI;