The text 4d8e2ad0aed0, as Debian 6.0 (Squeeze) shipped it.
determine if a page may be prefaulted
pmap_is_prefaultable(9freebsd) on Linux now
