Symbol: RISCV_PTE_W