Symbol: gic_handle_irq
drivers/irqchip/irq-gic-v3.c
2037
set_handle_irq(gic_handle_irq);
drivers/irqchip/irq-gic.c
1255
set_handle_irq(gic_handle_irq);