unmap_mapping_range(9) on Linux

The text d489b8b463e8, as Debian 5.0 (Lenny) shipped it.

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