The text c3543f72e86a, as Debian 10 (Buster) shipped it.
remove pages from a physical map
pmap_remove(9freebsd) on Linux now
