Symbol: plic_irq_disable