unmap_mapping_range(9) on Linux

The text 7d9007dd413d, as Debian 7 (Wheezy) shipped it.

unmap the portion of all mmaps in the specified address_space corresponding to the specified page range in the underlying file.