gic_handle_irq   1567 drivers/irqchip/irq-gic-v3.c 	set_handle_irq(gic_handle_irq);
gic_handle_irq   1217 drivers/irqchip/irq-gic.c 		set_handle_irq(gic_handle_irq);