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