ipte_lock_held
int ipte_lock_held(struct kvm *kvm);
wait_event(vcpu->kvm->arch.ipte_wq, !ipte_lock_held(vcpu->kvm));