gic_cascade_irq  1467 drivers/irqchip/irq-gic.c 		gic_cascade_irq(gic_cnt, irq);
gic_cascade_irq   135 include/linux/irqchip/arm-gic.h void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);