Searched refs:ipte_lock_held (Results 1 – 3 of 3) sorted by relevance
362 int ipte_lock_held(struct kvm_vcpu *vcpu);
264 int ipte_lock_held(struct kvm_vcpu *vcpu) in ipte_lock_held() function
388 wait_event(vcpu->kvm->arch.ipte_wq, !ipte_lock_held(vcpu)); in handle_ipte_interlock()