machine_emergency_restart    5 arch/x86/include/asm/emergency-restart.h extern void machine_emergency_restart(void);
machine_emergency_restart  689 kernel/debug/gdbstub.c 		machine_emergency_restart();
machine_emergency_restart   67 kernel/reboot.c 	machine_emergency_restart();