Searched refs:vmx_vcpu_pi_put (Results 1 – 4 of 4) sorted by relevance
12 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu);
223 void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu) in vmx_vcpu_pi_put() function
832 vmx_vcpu_pi_put(vcpu); in tdx_vcpu_put()
1470 vmx_vcpu_pi_put(vcpu); in vmx_vcpu_put()