Symbol: NR_IRQS