Symbol: plic_priv