ps3_shutdown_IRQ   32 arch/powerpc/platforms/ps3/platform.h void ps3_shutdown_IRQ(int cpu);
ps3_shutdown_IRQ  253 arch/powerpc/platforms/ps3/setup.c 	ps3_shutdown_IRQ(cpu);