Searched refs:max_vmm_leaf (Results 1 – 1 of 1) sorted by relevance
1403 uint32_t max_vmm_leaf; in cpuid_init_vmm_info() local1434 max_vmm_leaf = reg[eax]; in cpuid_init_vmm_info()1455 if (max_vmm_leaf >= 0x40000001) { in cpuid_init_vmm_info()1465 if (max_vmm_leaf >= 0x40000010) { in cpuid_init_vmm_info()