The text 3f7413a979ce, as FreeBSD 12.3-RELEASE shipped it.
deallocate an address range from a map
vm_map_delete(9) on FreeBSD now