Symbol: gic_cascade_irq
drivers/irqchip/irq-gic.c
1506
gic_cascade_irq(gic_cnt, irq);
include/linux/irqchip/arm-gic.h
141
void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);