__release_region(9) on Linux

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

release a previously reserved resource region

__release_region(9) on Linux now