/* * Do any tidying up before marking online and running the idle * loop */ static void __cpuinit bcm1480_smp_finish(void) { extern void sb1480_clockevent_init(void); sb1480_clockevent_init(); local_irq_enable(); }
void __init plat_time_init(void) { sb1480_clocksource_init(); sb1480_clockevent_init(); }