ppc47x_smp_init
static void __init ppc47x_smp_init(void)
static void __init ppc47x_smp_init(void) { }