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]);