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