machine_real_restart   23 arch/x86/include/asm/reboot.h void __noreturn machine_real_restart(unsigned int type);
machine_real_restart  985 arch/x86/kernel/apm_32.c 		machine_real_restart(MRR_APM);
machine_real_restart  141 arch/x86/kernel/reboot.c EXPORT_SYMBOL(machine_real_restart);
machine_real_restart  143 arch/x86/kernel/reboot.c STACK_FRAME_NON_STANDARD(machine_real_restart);
machine_real_restart  649 arch/x86/kernel/reboot.c 			machine_real_restart(MRR_BIOS);
machine_real_restart  749 arch/x86/platform/efi/quirks.c 		machine_real_restart(MRR_BIOS);