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