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