DIE_MACHINE_HALT  672 arch/ia64/kernel/process.c 	(void) notify_die(DIE_MACHINE_HALT, "", NULL, 0, 0, 0);
DIE_MACHINE_HALT 1167 drivers/misc/sgi-xp/xpc_main.c 	case DIE_MACHINE_HALT: