Symbol: IRQ2REG32