/* Get the number of CPU cores from the SCU configuration  */
unsigned int __init scu_get_core_count(void __iomem *scu_base)
/* Get the number of CPU cores from the SCU configuration  */
unsigned int __init scu_get_core_count(void __iomem *scu_base)
{
	unsigned int ncores = __raw_readl(scu_base + SCU_CONFIG);
	return (ncores & 0x03) + 1;
}