Searched refs:VMX_CPUID_MAX_BASIC (Results 1 – 1 of 1) sorted by relevance
1222 #define VMX_CPUID_MAX_BASIC 0x16 macro3550 vmx_cpuid_max_basic = uimin(cpuid_level, VMX_CPUID_MAX_BASIC); in vmx_init()