remove_active_range(9) on Linux

The text bd758024db15, as Debian 7 (Wheezy) shipped it. The page shows this text now.

Shrink an existing registered range of PFNs

remove_active_range(9) on Linux now