va                157 kernel/exec.c  loadseg(pagetable_t pagetable, uint64 va, struct inode *ip, uint offset,
va                164 kernel/exec.c      pa = walkaddr(pagetable, va + i);
va                 41 kernel/proc.c      uint64 va = KSTACK((int)(p - proc));
va                 42 kernel/proc.c      kvmmap(kpgtbl, va, (uint64)pa, PGSIZE, PTE_R | PTE_W);
va                411 kernel/riscv.h #define PX(level, va)  ((((uint64)(va)) >> PXSHIFT(level)) & PXMASK)
va                 59 kernel/vm.c    kvmmap(pagetable_t kpgtbl, uint64 va, uint64 pa, uint64 sz, int perm)
va                 61 kernel/vm.c      if (mappages(kpgtbl, va, sz, pa, perm) != 0)
va                 99 kernel/vm.c    walk(pagetable_t pagetable, uint64 va, int alloc)
va                101 kernel/vm.c      if (va >= MAXVA)
va                105 kernel/vm.c        pte_t *pte = &pagetable[PX(level, va)];
va                115 kernel/vm.c      return &pagetable[PX(0, va)];
va                122 kernel/vm.c    walkaddr(pagetable_t pagetable, uint64 va)
va                127 kernel/vm.c      if (va >= MAXVA)
va                130 kernel/vm.c      pte = walk(pagetable, va, 0);
va                147 kernel/vm.c    mappages(pagetable_t pagetable, uint64 va, uint64 size, uint64 pa, int perm)
va                152 kernel/vm.c      if ((va % PGSIZE) != 0)
va                161 kernel/vm.c      a = va;
va                162 kernel/vm.c      last = va + size - PGSIZE;
va                194 kernel/vm.c    uvmunmap(pagetable_t pagetable, uint64 va, uint64 npages, int do_free)
va                199 kernel/vm.c      if ((va % PGSIZE) != 0)
va                202 kernel/vm.c      for (a = va; a < va + npages * PGSIZE; a += PGSIZE) {
va                331 kernel/vm.c    uvmclear(pagetable_t pagetable, uint64 va)
va                335 kernel/vm.c      pte = walk(pagetable, va, 0);
va                459 kernel/vm.c    vmfault(pagetable_t pagetable, uint64 psz, uint64 va, int read)
va                463 kernel/vm.c      if (va >= psz)
va                465 kernel/vm.c      va = PGROUNDDOWN(va);
va                466 kernel/vm.c      if (ismapped(pagetable, va)) {
va                473 kernel/vm.c      if (mappages(pagetable, va, PGSIZE, mem, PTE_W | PTE_U | PTE_R) != 0) {
va                481 kernel/vm.c    ismapped(pagetable_t pagetable, uint64 va)
va                483 kernel/vm.c      pte_t *pte = walk(pagetable, va, 0);