Symbol: plic_disable