pte_t             166 kernel/defs.h  pte_t *         walk(pagetable_t, uint64, int);
pte_t              98 kernel/vm.c    pte_t *
pte_t             105 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];
pte_t             124 kernel/vm.c      pte_t *pte;
pte_t             150 kernel/vm.c      pte_t *pte;
pte_t             197 kernel/vm.c      pte_t *pte;
pte_t             269 kernel/vm.c        pte_t pte = pagetable[i];
pte_t             301 kernel/vm.c      pte_t *pte;
pte_t             333 kernel/vm.c      pte_t *pte;
pte_t             348 kernel/vm.c      pte_t *pte;
pte_t             483 kernel/vm.c      pte_t *pte = walk(pagetable, va, 0);