ps3_irq_plug_destroy  180 arch/powerpc/include/asm/ps3.h int ps3_irq_plug_destroy(unsigned int virq);
ps3_irq_plug_destroy  307 arch/powerpc/platforms/ps3/interrupt.c EXPORT_SYMBOL_GPL(ps3_irq_plug_destroy);
ps3_irq_plug_destroy  498 arch/powerpc/platforms/ps3/interrupt.c 	result = ps3_irq_plug_destroy(virq);
ps3_irq_plug_destroy  561 arch/powerpc/platforms/ps3/interrupt.c 	result = ps3_irq_plug_destroy(virq);
ps3_irq_plug_destroy  606 arch/powerpc/platforms/ps3/interrupt.c 	result = ps3_irq_plug_destroy(virq);
ps3_irq_plug_destroy 1197 drivers/video/fbdev/ps3fb.c 	ps3_irq_plug_destroy(ps3fb.irq_no);
ps3_irq_plug_destroy 1227 drivers/video/fbdev/ps3fb.c 		ps3_irq_plug_destroy(ps3fb.irq_no);
ps3_irq_plug_destroy  840 sound/ppc/snd_ps3.c 	ps3_irq_plug_destroy(the_card.irq_no);
ps3_irq_plug_destroy  847 sound/ppc/snd_ps3.c 	ps3_irq_plug_destroy(the_card.irq_no);