remap_file_pages(&(0x7f0000ffc000/0x3000)=nil, 0x3000, 0x100000a, 0x0, 0x0)