Searched refs:gic_send_sgi (Results 1 – 5 of 5) sorted by relevance
154 void gic_send_sgi(unsigned int cpu_id, unsigned int irq);
239 void gic_send_sgi(unsigned long sgino);
198 gic_send_sgi(bL_gic_id[ib_cpu][ib_cluster], 0); in bL_switch_to()
1346 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function1379 gic_send_sgi(cluster_id, tlist, d->hwirq); in gic_ipi_send_mask()
923 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function