remap_file_pages(&(0x7f0000800000/0x800000)=nil, 0x800000, 0x0, 0xffffffffffffffe0, 0x0)