VMX_F
if (c->vmx_capability[MISC_FEATURES] & VMX_F(VPID))
c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_EXECUTE_ONLY);
c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_AD);
c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_1GB);
c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_5LEVEL);
if ((c->vmx_capability[PRIMARY_CTLS] & VMX_F(VIRTUAL_TPR)) &&
(c->vmx_capability[SECONDARY_CTLS] & VMX_F(VIRT_APIC_ACCESSES)))
c->vmx_capability[MISC_FEATURES] |= VMX_F(FLEXPRIORITY);
if ((c->vmx_capability[PRIMARY_CTLS] & VMX_F(VIRTUAL_TPR)) &&
(c->vmx_capability[SECONDARY_CTLS] & VMX_F(APIC_REGISTER_VIRT)) &&
(c->vmx_capability[SECONDARY_CTLS] & VMX_F(VIRT_INTR_DELIVERY)) &&
(c->vmx_capability[MISC_FEATURES] & VMX_F(POSTED_INTR)))
c->vmx_capability[MISC_FEATURES] |= VMX_F(APICV);
if (c->vmx_capability[PRIMARY_CTLS] & VMX_F(VIRTUAL_TPR))
if (c->vmx_capability[MISC_FEATURES] & VMX_F(FLEXPRIORITY))
if (c->vmx_capability[MISC_FEATURES] & VMX_F(VIRTUAL_NMIS))
if (c->vmx_capability[SECONDARY_CTLS] & VMX_F(EPT))
if (c->vmx_capability[MISC_FEATURES] & VMX_F(EPT_AD))
int f = this_cpu_has(X86_FEATURE_SVM) ? SVM_F : VMX_F;