Searched refs:ipte_unlock (Results 1 – 3 of 3) sorted by relevance
345 void ipte_unlock(struct kvm_vcpu *vcpu);
351 void ipte_unlock(struct kvm_vcpu *vcpu) in ipte_unlock() function792 ipte_unlock(vcpu); in access_guest()883 ipte_unlock(vcpu); in check_gva_range()
1012 ipte_unlock(vcpu); in handle_tprot()