The text ecd2d8035f43, as Debian 6.0 (Squeeze) shipped it.
release a previously reserved resource region
__release_region(9) on Linux now
