Searched refs:vmx_vcpu_pi_put (Results 1 – 3 of 3) sorted by relevance
9 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu);
196 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu) in vmx_vcpu_pi_put() function
1532 vmx_vcpu_pi_put(vcpu); in vmx_vcpu_put()