va                 74 mmu.h          #define PDX(va)         (((uint)(va) >> PDXSHIFT) & 0x3FF)
va                 77 mmu.h          #define PTX(va)         (((uint)(va) >> PTXSHIFT) & 0x3FF)
va                 36 vm.c           walkpgdir(pde_t *pgdir, const void *va, int alloc)
va                 41 vm.c             pde = &pgdir[PDX(va)];
va                 54 vm.c             return &pgtab[PTX(va)];
va                 61 vm.c           mappages(pde_t *pgdir, void *va, uint size, uint pa, int perm)
va                 66 vm.c             a = (char*)PGROUNDDOWN((uint)va);
va                 67 vm.c             last = (char*)PGROUNDDOWN(((uint)va) + size - 1);
va                366 vm.c           copyout(pde_t *pgdir, uint va, void *p, uint len)
va                373 vm.c               va0 = (uint)PGROUNDDOWN(va);
va                377 vm.c               n = PGSIZE - (va - va0);
va                380 vm.c               memmove(pa0 + (va - va0), buf, n);
va                383 vm.c               va = va0 + PGSIZE;