The text c7dff3529b0e, as Debian 7 (Wheezy) shipped it.
wait for a busy page to become unbusy
vm_page_sleep_if_busy(9freebsd) on Linux now
