Symbol: plic_splx