Searched refs:gic_send_sgi (Results 1 – 2 of 2) sorted by relevance
160 void gic_send_sgi(unsigned int cpu_id, unsigned int irq);
920 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function