pte_t             165 kernel/defs.h  pte_t *         walk(pagetable_t, uint64, int);
pte_t              97 kernel/vm.c    pte_t *
pte_t             104 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];
pte_t             123 kernel/vm.c      pte_t *pte;
pte_t             149 kernel/vm.c      pte_t *pte;
pte_t             196 kernel/vm.c      pte_t *pte;
pte_t             267 kernel/vm.c        pte_t pte = pagetable[i];
pte_t             299 kernel/vm.c      pte_t *pte;
pte_t             331 kernel/vm.c      pte_t *pte;
pte_t             346 kernel/vm.c      pte_t *pte;
pte_t             478 kernel/vm.c      pte_t *pte = walk(pagetable, va, 0);