The text 80c0e7de998a, as FreeBSD 12.0-RELEASE shipped it.
deactivate a page
vm_page_deactivate(9) on FreeBSD now
