gic_raise_softirq 1122 drivers/irqchip/irq-gic-v3.c set_smp_cross_call(gic_raise_softirq); gic_raise_softirq 1212 drivers/irqchip/irq-gic.c set_smp_cross_call(gic_raise_softirq);