ps3_event_receive_port_destroy
int ps3_event_receive_port_destroy(unsigned int virq);
ps3_event_receive_port_destroy(*virq);
result = ps3_event_receive_port_destroy(virq);
ps3_event_receive_port_destroy(virqs[i]);