Searched refs:vmx_vcpu_pi_put (Results 1 – 3 of 3) sorted by relevance
96 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu);
180 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu) in vmx_vcpu_pi_put() function
1394 vmx_vcpu_pi_put(vcpu); in vmx_vcpu_put()