Searched refs:VMX_CAP_TPR_SHADOW (Results 1 – 2 of 2) sorted by relevance
165 VMX_CAP_TPR_SHADOW = (1UL << 0), enumerator
574 avail_caps |= VMX_CAP_TPR_SHADOW; in vmx_init()731 if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) { in vmx_vminit()737 ASSERT(vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)); in vmx_vminit()863 if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) { in vmx_vminit()2773 tpr_shadow_active = vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW) && in vmx_run()3778 if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) { in vmx_vlapic_init()