The text 471ec738b2d3, as Debian 4.0 (Etch) shipped it.
release a previously reserved resource region
__release_region(9) on Linux now
