ps3_event_receive_port_destroy  182 arch/powerpc/include/asm/ps3.h int ps3_event_receive_port_destroy(unsigned int virq);
ps3_event_receive_port_destroy  408 arch/powerpc/platforms/ps3/interrupt.c 		ps3_event_receive_port_destroy(*virq);
ps3_event_receive_port_destroy  438 arch/powerpc/platforms/ps3/interrupt.c 	result = ps3_event_receive_port_destroy(virq);
ps3_event_receive_port_destroy  102 arch/powerpc/platforms/ps3/smp.c 		ps3_event_receive_port_destroy(virqs[i]);