/* Code to run on secondary just after probing the CPU  */
static void __cpuinit bcm1480_init_secondary(void)
/* Code to run on secondary just after probing the CPU  */
static void __cpuinit bcm1480_init_secondary(void)
{
	extern void bcm1480_smp_init(void);
	bcm1480_smp_init();
}