unmap_mapping_range(9) on Linux

The text 2d129d7a8bba, as Debian 6.0 (Squeeze) shipped it.

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