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));