MISC_FEATURES
if (c->vmx_capability[MISC_FEATURES] & VMX_F(VPID))
c->vmx_capability[MISC_FEATURES] = (supported & 0xffff) |
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);
c->vmx_capability[MISC_FEATURES] |= VMX_F(FLEXPRIORITY);
(c->vmx_capability[MISC_FEATURES] & VMX_F(POSTED_INTR)))
c->vmx_capability[MISC_FEATURES] |= VMX_F(APICV);
if (c->vmx_capability[MISC_FEATURES] & VMX_F(FLEXPRIORITY))
if (c->vmx_capability[MISC_FEATURES] & VMX_F(VIRTUAL_NMIS))
if (c->vmx_capability[MISC_FEATURES] & VMX_F(EPT_AD))