PTE_ADDR           43 vm.c               pgtab = (pte_t*)P2V(PTE_ADDR(*pde));
PTE_ADDR          208 vm.c               pa = PTE_ADDR(*pte);
PTE_ADDR          270 vm.c                 pa = PTE_ADDR(*pte);
PTE_ADDR          293 vm.c                 char * v = P2V(PTE_ADDR(pgdir[i]));
PTE_ADDR          330 vm.c               pa = PTE_ADDR(*pte);
PTE_ADDR          359 vm.c             return (char*)P2V(PTE_ADDR(*pte));