/* * vm_map_unlock: release an exclusive lock on a map. */