The text bb5326d25b13, as Debian 7 (Wheezy) shipped it.
handle the busying and unbusying of a page
vm_page_busy(9freebsd) on Linux now