Searched refs:vm_max (Results 1 – 1 of 1) sorted by relevance
374 uint32_t base_max, vm_max, ext_max; in write_cpuinfo() local387 vm_max = tmp[0]; in write_cpuinfo()388 if (vm_max != 0) in write_cpuinfo()389 len += vm_max - CPUID_ROOT_VM + 1; in write_cpuinfo()410 if (vm_max) { in write_cpuinfo()411 for (uint32_t i = CPUID_ROOT_VM; i <= vm_max; i++) { in write_cpuinfo()