prctl$PR_SET_MM(0x23, 0x3, &(0x7f0000ffc000/0x1000)=nil)
prctl$PR_SET_MM(0x23, 0x4, &(0x7f0000ffc000/0x2000)=nil)