PR_MCE_KILL_EARLY 2382 kernel/sys.c   			if (arg3 == PR_MCE_KILL_EARLY)
PR_MCE_KILL_EARLY 2401 kernel/sys.c   				PR_MCE_KILL_EARLY : PR_MCE_KILL_LATE;