The text 46175869aab1, as Debian 7 (Wheezy) shipped it.
set physical page protection
pmap_page_protect(9freebsd) on Linux now
