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);