ps3_io_irq_destroy  187 arch/powerpc/include/asm/ps3.h int ps3_io_irq_destroy(unsigned int virq);
ps3_io_irq_destroy  509 arch/powerpc/platforms/ps3/interrupt.c EXPORT_SYMBOL_GPL(ps3_io_irq_destroy);
ps3_io_irq_destroy  191 drivers/usb/host/ehci-ps3.c 	ps3_io_irq_destroy(virq);
ps3_io_irq_destroy  225 drivers/usb/host/ehci-ps3.c 	ps3_io_irq_destroy(tmp);
ps3_io_irq_destroy  175 drivers/usb/host/ohci-ps3.c 	ps3_io_irq_destroy(virq);
ps3_io_irq_destroy  210 drivers/usb/host/ohci-ps3.c 	ps3_io_irq_destroy(tmp);