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