Searched refs:max_ext_leaf (Results 1 – 1 of 1) sorted by relevance
1268 uint32_t eax, ebx, ecx, edx, max_ext_leaf; in vm_compute_max_gfn() local1292 max_ext_leaf = eax; in vm_compute_max_gfn()1293 if (max_ext_leaf < 0x80000008) in vm_compute_max_gfn()1298 if (max_ext_leaf >= 0x8000001f) { in vm_compute_max_gfn()
