The text a6f2058b3029, as Debian 7 (Wheezy) shipped it.
release resources held by a physical map
pmap_release(9freebsd) on Linux now
