383 	spin_lock(&kvm->mmu_lock);  in stage2_flush_vm()
389 	spin_unlock(&kvm->mmu_lock);  in stage2_flush_vm()
799 	spin_lock(&kvm->mmu_lock);  in stage2_unmap_vm()
805 	spin_unlock(&kvm->mmu_lock);  in stage2_unmap_vm()
985 		spin_lock(&kvm->mmu_lock);  in kvm_phys_addr_ioremap()
988 		spin_unlock(&kvm->mmu_lock);  in kvm_phys_addr_ioremap()
1138 		if (need_resched() || spin_needbreak(&kvm->mmu_lock))  in stage2_wp_range()
1139 			cond_resched_lock(&kvm->mmu_lock);  in stage2_wp_range()
1167 	spin_lock(&kvm->mmu_lock);  in kvm_mmu_wp_memory_region()
1169 	spin_unlock(&kvm->mmu_lock);  in kvm_mmu_wp_memory_region()
1308 	spin_lock(&kvm->mmu_lock);  in user_mem_abort()
1339 	spin_unlock(&kvm->mmu_lock);  in user_mem_abort()
1359 	spin_lock(&vcpu->kvm->mmu_lock);  in handle_access_fault()
1380 	spin_unlock(&vcpu->kvm->mmu_lock);  in handle_access_fault()
1820 	spin_lock(&kvm->mmu_lock);  in kvm_arch_prepare_memory_region()
1825 	spin_unlock(&kvm->mmu_lock);  in kvm_arch_prepare_memory_region()
1863 	spin_lock(&kvm->mmu_lock);  in kvm_arch_flush_shadow_memslot()
1865 	spin_unlock(&kvm->mmu_lock);  in kvm_arch_flush_shadow_memslot()