ps3_send_event_locally
int ps3_send_event_locally(unsigned int virq);
result = ps3_send_event_locally(virq);