VMX_CAP_TPR_SHADOW
tpr_shadow_active = vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW) &&
if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) {
avail_caps |= VMX_CAP_TPR_SHADOW;
if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) {
ASSERT(vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW));
if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) {