Searched refs:max_vmm_leaf (Results 1 – 1 of 1) sorted by relevance
1378 uint32_t max_vmm_leaf; in cpuid_init_vmm_info() local1409 max_vmm_leaf = reg[eax]; in cpuid_init_vmm_info()1430 if (max_vmm_leaf >= 0x40000001) { in cpuid_init_vmm_info()1440 if (max_vmm_leaf >= 0x40000010) { in cpuid_init_vmm_info()