Home
last modified time | relevance | path

Searched refs:gic_send_sgi (Results 1 – 3 of 3) sorted by relevance

/linux/include/linux/irqchip/
H A Darm-gic.h154 void gic_send_sgi(unsigned int cpu_id, unsigned int irq);
/linux/drivers/irqchip/
H A Dirq-gic-v3.c1413 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function
1446 gic_send_sgi(cluster_id, tlist, d->hwirq); in gic_ipi_send_mask()
H A Dirq-gic.c920 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function