Symbol: gic_send_sgi
arch/arm/common/bL_switcher.c
198
gic_send_sgi(bL_gic_id[ib_cpu][ib_cluster], 0);
drivers/irqchip/irq-gic-v3.c
1397
gic_send_sgi(cluster_id, tlist, d->hwirq);
include/linux/irqchip/arm-gic.h
160
void gic_send_sgi(unsigned int cpu_id, unsigned int irq);