gic_send_sgi     1080 drivers/irqchip/irq-gic-v3.c static void gic_send_sgi(u64 cluster_id, u16 tlist, unsigned int irq)
gic_send_sgi      844 drivers/irqchip/irq-gic.c void gic_send_sgi(unsigned int cpu_id, unsigned int irq)