MRR_BIOS          649 arch/x86/kernel/reboot.c 			machine_real_restart(MRR_BIOS);
MRR_BIOS          749 arch/x86/platform/efi/quirks.c 		machine_real_restart(MRR_BIOS);