/* Return the number of PPC cores on this SOC.  */
__weak int cpu_numcores(void)
/* Return the number of PPC cores on this SOC.  */
__weak int cpu_numcores(void)
{
	struct cpu_type *cpu = gd->arch.cpu;
	if (cpu->num_cores == 0)
		return hweight32(cpu_mask());
	return cpu->num_cores;
}