> +static void __init imx_ca7_smp_init_cpus(void) > +{ > + int i, ncores; > + unsigned long val; > + > + asm volatile("mrc p15, 1, %0, c9, c0, 2" : "=r" (val)); > + ncores = ((val >> 24) & 0x3) + 1; > + if (setup_max_cpus < ncores) > + ncores = (setup_max_cpus) ? setup_max_cpus : 1; > + > + for (i = ncores; i < NR_CPUS; i++) > + set_cpu_possible(i, false); > +} NAK. The set of available CPUs should come from the DT, as with other platforms. Mark. -- To unsubscribe from this list: send the line "unsubscribe linux-gpio" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html