Symbol: RISCVPT_U