Searched refs:ext_max (Results 1 – 1 of 1) sorted by relevance
374 uint32_t base_max, vm_max, ext_max; in write_cpuinfo() local392 ext_max = tmp[0]; in write_cpuinfo()393 if (ext_max != 0) in write_cpuinfo()394 len += ext_max - CPUID_ROOT_EXT + 1; in write_cpuinfo()416 if (ext_max) { in write_cpuinfo()417 for (uint32_t i = CPUID_ROOT_EXT; i <= ext_max; i++) { in write_cpuinfo()477 uint32_t ext_max; in setup_study() local501 ext_max = tmp[0]; in setup_study()502 if (is_amd && ext_max >= CPUID_IBSID) { in setup_study()