arm_cpu_max
arm_cpu_max++;
u_int arm_cpu_max = 1;
const size_t cpu_num = arm_cpu_max;
nptes *= arm_cpu_max;
arm_cpu_max = RPI_CPU_MAX;
arm_cpu_max = RPI_CPU_MAX;
arm_cpu_max = 1;
arm_cpu_max = 0;
arm_cpu_max++;
extern u_int arm_cpu_max;
for (id = 1; id < arm_cpu_max; id++) {
if (id >= arm_cpu_max)
arm_cpu_max = 1 + __SHIFTOUT(armreg_l2ctrl_read(), L2CTRL_NUMCPU);
KASSERT(arm_cpu_max == 4);
for (u_int cpuindex = 1; cpuindex < arm_cpu_max; cpuindex++) {
arm_cpu_max = 1 + __SHIFTOUT(armreg_l2ctrl_read(), L2CTRL_NUMCPU);
for (int i = 1; i < arm_cpu_max; i++) {
arm_cpu_max = 1 + __SHIFTOUT(armreg_l2ctrl_read(), L2CTRL_NUMCPU);
for (size_t i = 1; i < arm_cpu_max; i++) {
for (u_int cpuindex = 1; cpuindex < arm_cpu_max; cpuindex++) {
for (u_int cpuindex = 1; cpuindex < arm_cpu_max; cpuindex++) {
arm_cpu_max = 1 + __SHIFTOUT(armreg_l2ctrl_read(), L2CTRL_NUMCPU);
for (u_int cpuindex = 1; cpuindex < arm_cpu_max; cpuindex++) {
arm_cpu_max = 1 + (scu_cfg & SCU_CFG_CPUMAX);
arm_cpu_max + 1, arm_cpu_max + 1 ? "s" : "",