PR_MCE_KILL_DEFAULT 2386 kernel/sys.c else if (arg3 == PR_MCE_KILL_DEFAULT) PR_MCE_KILL_DEFAULT 2403 kernel/sys.c error = PR_MCE_KILL_DEFAULT;