Symbol: MAX_INTERNAL_IRQS