vm_page_busy_downgrade • man page