Symbol: vmx_can_use_vtd_pi
arch/x86/kvm/vmx/posted_intr.c
220
vmx_can_use_vtd_pi(vcpu->kvm);
arch/x86/kvm/vmx/posted_intr.c
299
if (WARN_ON_ONCE(!vmx_can_use_vtd_pi(kvm)))