unmap_mapping_range(9) on Linux

The text d256d9b21896, as Debian 9 (Stretch) shipped it. The page shows this text now.

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