PTE_ADDR           53 vm.c               pgtab = (pte_t*)p2v(PTE_ADDR(*pde));
PTE_ADDR          207 vm.c               pa = PTE_ADDR(*pte);
PTE_ADDR          264 vm.c                 pa = PTE_ADDR(*pte);
PTE_ADDR          287 vm.c                 char * v = p2v(PTE_ADDR(pgdir[i]));
PTE_ADDR          324 vm.c               pa = PTE_ADDR(*pte);
PTE_ADDR          351 vm.c             return (char*)p2v(PTE_ADDR(*pte));