Symbol: riscv_intc_irq_eoi