unmap_mapping_range(9) on Linux

The text 88ca8c3dcb09, as Debian 8 (Jessie) shipped it.

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