/* Setup the PC, SP, and GP of a secondary processor and start it running!  */
static void __cpuinit sb1250_boot_secondary(int cpu, struct task_struct *idle)
/* Setup the PC, SP, and GP of a secondary processor and start it running!  */
static void __cpuinit sb1250_boot_secondary(int cpu, struct task_struct *idle)
{
	int retval;
	retval = cfe_cpu_start(cpu_logical_map(cpu), &smp_bootstrap,
			       __KSTK_TOS(idle),
			       (unsigned long)task_thread_info(idle), 0);
	if (retval != 0)
		printk("cfe_start_cpu(%i) returned %i\n" , cpu, retval);
}