The text 795eb7145c0e, as Debian 5.0 (Lenny) shipped it.
determine if a page may be prefaulted
pmap_is_prefaultable(9freebsd) on Linux now
