42 	c->vmx_capability[PRIMARY_CTLS] = supported;  in init_vmx_capabilities()
45 	c->vmx_capability[SECONDARY_CTLS] = supported;  in init_vmx_capabilities()
49 	c->vmx_capability[TERTIARY_CTLS_LOW] = low;  in init_vmx_capabilities()
50 	c->vmx_capability[TERTIARY_CTLS_HIGH] = high;  in init_vmx_capabilities()
64 	c->vmx_capability[MISC_FEATURES] = (supported & 0xffff) |  in init_vmx_capabilities()
70 		c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_EXECUTE_ONLY);  in init_vmx_capabilities()
72 		c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_AD);  in init_vmx_capabilities()
74 		c->vmx_capability[MISC_FEATURES] |= VMX_F(EPT_1GB);  in init_vmx_capabilities()
77 	if ((c->vmx_capability[PRIMARY_CTLS] & VMX_F(VIRTUAL_TPR)) &&  in init_vmx_capabilities()
78 	    (c->vmx_capability[SECONDARY_CTLS] & VMX_F(VIRT_APIC_ACCESSES)))  in init_vmx_capabilities()
79 		c->vmx_capability[MISC_FEATURES] |= VMX_F(FLEXPRIORITY);  in init_vmx_capabilities()
81 	if ((c->vmx_capability[PRIMARY_CTLS] & VMX_F(VIRTUAL_TPR)) &&  in init_vmx_capabilities()
82 	    (c->vmx_capability[SECONDARY_CTLS] & VMX_F(APIC_REGISTER_VIRT)) &&  in init_vmx_capabilities()
83 	    (c->vmx_capability[SECONDARY_CTLS] & VMX_F(VIRT_INTR_DELIVERY)) &&  in init_vmx_capabilities()
84 	    (c->vmx_capability[MISC_FEATURES] & VMX_F(POSTED_INTR)))  in init_vmx_capabilities()
85 		c->vmx_capability[MISC_FEATURES] |= VMX_F(APICV);  in init_vmx_capabilities()
88 	if (c->vmx_capability[PRIMARY_CTLS] & VMX_F(VIRTUAL_TPR))  in init_vmx_capabilities()
90 	if (c->vmx_capability[MISC_FEATURES] & VMX_F(FLEXPRIORITY))  in init_vmx_capabilities()
92 	if (c->vmx_capability[MISC_FEATURES] & VMX_F(VIRTUAL_NMIS))  in init_vmx_capabilities()
94 	if (c->vmx_capability[SECONDARY_CTLS] & VMX_F(EPT))  in init_vmx_capabilities()
96 	if (c->vmx_capability[MISC_FEATURES] & VMX_F(EPT_AD))  in init_vmx_capabilities()
98 	if (c->vmx_capability[MISC_FEATURES] & VMX_F(VPID))  in init_vmx_capabilities()