mremap(&(0x7f0000ff3000/0x4000)=nil, 0x4000, 0x1000, 0x0, &(0x7f0000ff9000/0x1000)=nil)
remap_file_pages(&(0x7f0000ff5000/0x4000)=nil, 0x4000, 0x0, 0x0, 0x0)