Symbol: RISC_IRQ2