The text 4143de30e1be, as Debian 7 (Wheezy) shipped it.
remove pages from a physical map
pmap_remove(9freebsd) on Linux now
