Symbol: RISC_IRQ1