Searched refs:max_vmm_leaf (Results 1 – 1 of 1) sorted by relevance
1380 uint32_t max_vmm_leaf; in cpuid_init_vmm_info() local1411 max_vmm_leaf = reg[eax]; in cpuid_init_vmm_info()1437 if (max_vmm_leaf >= 0x40000010) { in cpuid_init_vmm_info()