Searched refs:base_max (Results 1 – 1 of 1) sorted by relevance
374 uint32_t base_max, vm_max, ext_max; in write_cpuinfo() local383 base_max = tmp[0]; in write_cpuinfo()384 len = base_max + 1; in write_cpuinfo()405 for (uint32_t i = 0; i <= base_max; i++) { in write_cpuinfo()