ps3_register_ipi_irq   34 arch/powerpc/platforms/ps3/platform.h void __init ps3_register_ipi_irq(unsigned int cpu, unsigned int virq);
ps3_register_ipi_irq   84 arch/powerpc/platforms/ps3/smp.c 				ps3_register_ipi_irq(cpu, virqs[i]);