ipte_unlock       869 arch/s390/kvm/gaccess.c 		ipte_unlock(vcpu);
ipte_unlock       952 arch/s390/kvm/gaccess.c 	ipte_unlock(vcpu);
ipte_unlock      1201 arch/s390/kvm/gaccess.c 	ipte_unlock(vcpu);
ipte_unlock       358 arch/s390/kvm/gaccess.h void ipte_unlock(struct kvm_vcpu *vcpu);
ipte_unlock      1486 arch/s390/kvm/priv.c 		ipte_unlock(vcpu);