DIE_MACHINE_RESTART  665 arch/ia64/kernel/process.c 	(void) notify_die(DIE_MACHINE_RESTART, restart_cmd, NULL, 0, 0, 0);
DIE_MACHINE_RESTART 1166 drivers/misc/sgi-xp/xpc_main.c 	case DIE_MACHINE_RESTART: