The text 88bb659dbb7d, as Debian 7 (Wheezy) shipped it.
wire and unwire pages
vm_page_unwire(9freebsd) on Linux now
