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