va                112 mmu.h          #define PDX(va)         (((uint)(va) >> PDXSHIFT) & 0x3FF)
va                115 mmu.h          #define PTX(va)         (((uint)(va) >> PTXSHIFT) & 0x3FF)
va                 46 vm.c           walkpgdir(pde_t *pgdir, const void *va, int alloc)
va                 51 vm.c             pde = &pgdir[PDX(va)];
va                 64 vm.c             return &pgtab[PTX(va)];
va                 71 vm.c           mappages(pde_t *pgdir, void *va, uint size, uint pa, int perm)
va                 76 vm.c             a = (char*)PGROUNDDOWN((uint)va);
va                 77 vm.c             last = (char*)PGROUNDDOWN(((uint)va) + size - 1);
va                358 vm.c           copyout(pde_t *pgdir, uint va, void *p, uint len)
va                365 vm.c               va0 = (uint)PGROUNDDOWN(va);
va                369 vm.c               n = PGSIZE - (va - va0);
va                372 vm.c               memmove(pa0 + (va - va0), buf, n);
va                375 vm.c               va = va0 + PGSIZE;