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