prctl$PR_SET_MM(0x23, 0xa, &(0x7f0000ff0000/0x1000)=nil)
prctl$PR_SET_MM(0x23, 0xb, &(0x7f0000ff8000/0x3000)=nil)