Symbol: gic_irqnr_is_special