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: