Searched refs:ps3_event_receive_port_destroy (Results 1 – 3 of 3) sorted by relevance
351 int ps3_event_receive_port_destroy(unsigned int virq) in ps3_event_receive_port_destroy() function409 ps3_event_receive_port_destroy(*virq); in ps3_sb_event_receive_port_setup()439 result = ps3_event_receive_port_destroy(virq); in ps3_sb_event_receive_port_destroy()
102 ps3_event_receive_port_destroy(virqs[i]); in ps3_smp_cleanup_cpu()
184 int ps3_event_receive_port_destroy(unsigned int virq);