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