/* * vm_map_unlock_read: release a shared lock on a map. */