ps3_virq_destroy  272 arch/powerpc/platforms/ps3/interrupt.c 	ps3_virq_destroy(*virq);
ps3_virq_destroy  303 arch/powerpc/platforms/ps3/interrupt.c 	ps3_virq_destroy(virq);
ps3_virq_destroy  446 arch/powerpc/platforms/ps3/interrupt.c 	result = ps3_virq_destroy(virq);