/* Use SCU config register to count number of cores  */
static unsigned int get_core_count(void)
/* Use SCU config register to count number of cores  */
static unsigned int get_core_count(void)
{
	if (scu_base)
		return scu_get_core_count(scu_base);
	return 1;
}