arch/powerpc/include/asm/ps3.h

185

int ps3_irq_plug_destroy(unsigned int virq);

arch/powerpc/platforms/ps3/interrupt.c

308

EXPORT_SYMBOL_GPL(ps3_irq_plug_destroy);

arch/powerpc/platforms/ps3/interrupt.c

499

result = ps3_irq_plug_destroy(virq);

arch/powerpc/platforms/ps3/interrupt.c

562

result = ps3_irq_plug_destroy(virq);

arch/powerpc/platforms/ps3/interrupt.c

607

result = ps3_irq_plug_destroy(virq);

drivers/video/fbdev/ps3fb.c

1196

ps3_irq_plug_destroy(ps3fb.irq_no);

drivers/video/fbdev/ps3fb.c

1226

ps3_irq_plug_destroy(ps3fb.irq_no);

sound/ppc/snd_ps3.c

810

ps3_irq_plug_destroy(the_card.irq_no);

sound/ppc/snd_ps3.c

817

ps3_irq_plug_destroy(the_card.irq_no);