/* * Do any tidying up before marking online and running the idle * loop */ void prom_smp_finish(void) { #if defined(CONFIG_SIBYTE_BCM1x55) || defined(CONFIG_SIBYTE_BCM1x80) extern void bcm1480_smp_finish(void); bcm1480_smp_finish(); #elif defined(CONFIG_SIBYTE_SB1250) extern void sb1250_smp_finish(void); sb1250_smp_finish(); #else #error invalid SMP configuration #endif }
void prom_smp_finish(void) { sb1250_smp_finish(); }