Symbol: ICR1_IRQS