vmx_can_use_ipiv
return (vmx_can_use_ipiv(vcpu) && !is_td_vcpu(vcpu)) ||
if (vmx_can_use_ipiv(&vmx->vcpu)) {
if (vmx_can_use_ipiv(vcpu))