Symbol: RISCV_PTE_R