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;