ps3_smp_cleanup_cpu   40 arch/powerpc/platforms/ps3/platform.h void ps3_smp_cleanup_cpu(int cpu);
ps3_smp_cleanup_cpu  252 arch/powerpc/platforms/ps3/setup.c 	ps3_smp_cleanup_cpu(cpu);