Symbol: gic_irqnr_is_special
drivers/irqchip/irq-gic-v3.c
820
if (gic_irqnr_is_special(irqnr))
drivers/irqchip/irq-gic-v3.c
833
if (gic_irqnr_is_special(irqnr))