Searched refs:gic_send_sgi (Results 1 - 8 of 8) sorted by relevance
| /kernel/linux/linux-5.10/include/linux/irqchip/ |
| H A D | arm-gic.h | 160 void gic_send_sgi(unsigned int cpu_id, unsigned int irq);
|
| /kernel/linux/linux-6.6/include/linux/irqchip/ |
| H A D | arm-gic.h | 154 void gic_send_sgi(unsigned int cpu_id, unsigned int irq);
|
| /kernel/linux/linux-5.10/arch/arm/common/ |
| H A D | bL_switcher.c | 198 gic_send_sgi(bL_gic_id[ib_cpu][ib_cluster], 0); in bL_switch_to()
|
| /kernel/linux/linux-6.6/arch/arm/common/ |
| H A D | bL_switcher.c | 198 gic_send_sgi(bL_gic_id[ib_cpu][ib_cluster], 0); in bL_switch_to()
|
| /kernel/linux/linux-5.10/drivers/irqchip/ |
| H A D | irq-gic-v3.c | 1184 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function
1217 gic_send_sgi(cluster_id, tlist, d->hwirq); in gic_ipi_send_mask()
|
| H A D | irq-gic.c | 888 * gic_send_sgi - send a SGI directly to given CPU interface number
893 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function
|
| /kernel/linux/linux-6.6/drivers/irqchip/ |
| H A D | irq-gic-v3.c | 1339 static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq) in gic_send_sgi() function
1372 gic_send_sgi(cluster_id, tlist, d->hwirq); in gic_ipi_send_mask()
|
| H A D | irq-gic.c | 918 * gic_send_sgi - send a SGI directly to given CPU interface number
923 void gic_send_sgi(unsigned int cpu_id, unsigned int irq) in gic_send_sgi() function
|
Completed in 13 milliseconds