Searched refs:vmx_vcpu_pi_put (Results 1 – 3 of 3) sorted by relevance
90 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu);
80 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu) in vmx_vcpu_pi_put() function
1410 vmx_vcpu_pi_put(vcpu); in vmx_vcpu_put()
