Symbol: IRQC_TINT_COUNT