The text f4b46c25189e, as Debian 9 (Stretch) shipped it.
determine if a page may be prefaulted
pmap_is_prefaultable(9freebsd) on Linux now
