prctl$PR_MCE_KILL(0x35, 0x2, 0x0)