pte               404 kernel/riscv.h #define PTE2PA(pte) (((pte) >> 10) << 12)
pte               406 kernel/riscv.h #define PTE_FLAGS(pte) ((pte) & 0x3FF)
pte               105 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];
pte               106 kernel/vm.c        if (*pte & PTE_V) {
pte               107 kernel/vm.c          pagetable = (pagetable_t)PTE2PA(*pte);
pte               112 kernel/vm.c          *pte = PA2PTE(pagetable) | PTE_V;
pte               124 kernel/vm.c      pte_t *pte;
pte               130 kernel/vm.c      pte = walk(pagetable, va, 0);
pte               131 kernel/vm.c      if (pte == 0)
pte               133 kernel/vm.c      if ((*pte & PTE_V) == 0)
pte               135 kernel/vm.c      if ((*pte & PTE_U) == 0)
pte               137 kernel/vm.c      pa = PTE2PA(*pte);
pte               150 kernel/vm.c      pte_t *pte;
pte               164 kernel/vm.c        if ((pte = walk(pagetable, a, 1)) == 0)
pte               166 kernel/vm.c        if (*pte & PTE_V)
pte               168 kernel/vm.c        *pte = PA2PTE(pa) | perm | PTE_V;
pte               197 kernel/vm.c      pte_t *pte;
pte               203 kernel/vm.c        if ((pte = walk(pagetable, a, 0)) == 0) // leaf page table entry allocated?
pte               205 kernel/vm.c        if ((*pte & PTE_V) == 0) // has physical page been allocated?
pte               208 kernel/vm.c          uint64 pa = PTE2PA(*pte);
pte               211 kernel/vm.c        *pte = 0;
pte               269 kernel/vm.c        pte_t pte = pagetable[i];
pte               270 kernel/vm.c        if ((pte & PTE_V) && (pte & (PTE_R | PTE_W | PTE_X)) == 0) {
pte               272 kernel/vm.c          uint64 child = PTE2PA(pte);
pte               275 kernel/vm.c        } else if (pte & PTE_V) {
pte               301 kernel/vm.c      pte_t *pte;
pte               307 kernel/vm.c        if ((pte = walk(old, i, 0)) == 0)
pte               309 kernel/vm.c        if ((*pte & PTE_V) == 0)
pte               311 kernel/vm.c        pa = PTE2PA(*pte);
pte               312 kernel/vm.c        flags = PTE_FLAGS(*pte);
pte               333 kernel/vm.c      pte_t *pte;
pte               335 kernel/vm.c      pte = walk(pagetable, va, 0);
pte               336 kernel/vm.c      if (pte == 0)
pte               338 kernel/vm.c      *pte &= ~PTE_U;
pte               348 kernel/vm.c      pte_t *pte;
pte               362 kernel/vm.c        pte = walk(pagetable, va0, 0);
pte               364 kernel/vm.c        if ((*pte & PTE_W) == 0)
pte               483 kernel/vm.c      pte_t *pte = walk(pagetable, va, 0);
pte               484 kernel/vm.c      if (pte == 0) {
pte               487 kernel/vm.c      if (*pte & PTE_V) {