/* Do any tidying up before marking online and running the idle loop  */
static void __cpuinit sb1250_smp_finish(void)
/* Do any tidying up before marking online and running the idle loop  */
static void __cpuinit sb1250_smp_finish(void)
{
	extern void sb1250_clockevent_init(void);
	sb1250_clockevent_init();
	local_irq_enable();
}