smp_init_ps3       38 arch/powerpc/platforms/ps3/platform.h void smp_init_ps3(void);
smp_init_ps3      200 arch/powerpc/platforms/ps3/setup.c 	smp_init_ps3();