pte_t             171 kernel/defs.h  pte_t *         walk(pagetable_t, uint64, int);
pte_t              85 kernel/vm.c    pte_t *
pte_t              92 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];
pte_t             111 kernel/vm.c      pte_t *pte;
pte_t             147 kernel/vm.c      pte_t *pte;
pte_t             181 kernel/vm.c      pte_t *pte;
pte_t             283 kernel/vm.c        pte_t pte = pagetable[i];
pte_t             315 kernel/vm.c      pte_t *pte;
pte_t             347 kernel/vm.c      pte_t *pte;
pte_t             362 kernel/vm.c      pte_t *pte;