Symbol: plic_enable