Symbol: plic_irq_enable