SECONDARY_CTLS
c->vmx_capability[SECONDARY_CTLS] = supported;
(c->vmx_capability[SECONDARY_CTLS] & VMX_F(VIRT_APIC_ACCESSES)))
(c->vmx_capability[SECONDARY_CTLS] & VMX_F(APIC_REGISTER_VIRT)) &&
(c->vmx_capability[SECONDARY_CTLS] & VMX_F(VIRT_INTR_DELIVERY)) &&
if (c->vmx_capability[SECONDARY_CTLS] & VMX_F(EPT))