The text 80c0e7de998a, as Debian 10 (Buster) shipped it.
deactivate a page
vm_page_deactivate(9freebsd) on Linux now
