prctl$PR_SET_MM(0x23, 0x8, &(0x7f0000400000/0xc00000)=nil)
prctl$PR_SET_MM(0x23, 0x9, &(0x7f0000c71000/0x3000)=nil)