prctl$PR_MCE_KILL(0x39, 0x0, 0x1)