Symbol: RISCV_PTE_V