NVMXINTS
__u32 vmx_capability[NVMXINTS];
BUILD_BUG_ON(NVMXINTS != NR_VMX_FEATURE_WORDS);
for (i = 0; i < 32*NVMXINTS; i++) {
extern const char * const x86_vmx_flags[NVMXINTS*32];