ps3_event_receive_port_setup
int ps3_event_receive_port_setup(enum ps3_cpu_binding cpu, unsigned int *virq);
EXPORT_SYMBOL_GPL(ps3_event_receive_port_setup);
result = ps3_event_receive_port_setup(cpu, virq);
result = ps3_event_receive_port_setup(cpu, &virqs[i]);