The text 25b59a0dfac3, as Debian 7 (Wheezy) shipped it.
release a previously reserved resource region
__release_region(9) on Linux now
