prctl$PR_SET_MM(0x23, 0x3, &(0x7f0000ff0000/0x10000)=nil)