ps3_init_IRQ       31 arch/powerpc/platforms/ps3/platform.h void ps3_init_IRQ(void);
ps3_init_IRQ      263 arch/powerpc/platforms/ps3/setup.c 	.init_IRQ			= ps3_init_IRQ,