Symbol: PR_MCE_KILL_LATE
kernel/sys.c
2667
else if (arg3 == PR_MCE_KILL_LATE)
kernel/sys.c
2684
PR_MCE_KILL_EARLY : PR_MCE_KILL_LATE;