Symbol: vmx_vcpu_pi_put
arch/x86/kvm/vmx/posted_intr.h
12
void vmx_vcpu_pi_put(struct kvm_vcpu *vcpu);
arch/x86/kvm/vmx/tdx.c
837
vmx_vcpu_pi_put(vcpu);
arch/x86/kvm/vmx/vmx.c
1598
vmx_vcpu_pi_put(vcpu);