Symbol: plic_irq_eoi