3986 	vm_map_unlock_read(map);  in vm_fault_complete()
4232 		vm_map_unlock_read(map);  in vm_fault_internal()
4288 			vm_map_unlock_read(map);  in vm_fault_internal()
4377 		vm_map_unlock_read(map);  in vm_fault_internal()
4446 			vm_map_unlock_read(map);  in vm_fault_internal()
4482 							vm_map_unlock_read(map);  in vm_fault_internal()
4535 				vm_map_unlock_read(map);  in vm_fault_internal()
4564 						vm_map_unlock_read(map);  in vm_fault_internal()
4609 				vm_map_unlock_read(map);  in vm_fault_internal()
4636 						vm_map_unlock_read(map);  in vm_fault_internal()
4715 				vm_map_unlock_read(map);  in vm_fault_internal()
5086 								vm_map_unlock_read(map);  in vm_fault_internal()
5111 							vm_map_unlock_read(map);  in vm_fault_internal()
5189 						vm_map_unlock_read(map);  in vm_fault_internal()
5306 					vm_map_unlock_read(map);  in vm_fault_internal()
5336 						vm_map_unlock_read(map);  in vm_fault_internal()
5592 	vm_map_unlock_read(map);  in vm_fault_internal()
5837 			vm_map_unlock_read(map);  in vm_fault_internal()
5873 			vm_map_unlock_read(map);  in vm_fault_internal()
5978 		vm_map_unlock_read(map);  in vm_fault_internal()
6065 			vm_map_unlock_read(map);  in vm_fault_internal()
6097 			vm_map_unlock_read(map);  in vm_fault_internal()
6119 					vm_map_unlock_read(map);  in vm_fault_internal()
6122 					vm_map_unlock_read(real_map);  in vm_fault_internal()
6202 	vm_map_unlock_read(map);  in vm_fault_internal()
7072 			vm_map_unlock_read(dst_map);  in vm_fault_copy()
7085 			vm_map_unlock_read(dst_map);  in vm_fault_copy()
7160 		vm_map_unlock_read(dst_map);  in vm_fault_copy()
8023 	vm_map_unlock_read(map);  in vmtc_revalidate_lookup()