Searched refs:vmx_vcpu_pi_put (Results 1 – 3 of 3) sorted by relevance
98 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu);
194 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu) in vmx_vcpu_pi_put() function
1402 vmx_vcpu_pi_put(vcpu); in vmx_vcpu_put()