The text 9f8dc89d42dc, as Debian 7 (Wheezy) shipped it.
check memory protection for a vm_map
vm_map_check_protection(9freebsd) on Linux now
