ipte_lock_held 359 arch/s390/kvm/gaccess.h int ipte_lock_held(struct kvm_vcpu *vcpu); ipte_lock_held 432 arch/s390/kvm/priv.c wait_event(vcpu->kvm->arch.ipte_wq, !ipte_lock_held(vcpu));