PTE2PA             94 kernel/vm.c          pagetable = (pagetable_t)PTE2PA(*pte);
PTE2PA            124 kernel/vm.c      pa = PTE2PA(*pte);
PTE2PA            194 kernel/vm.c          uint64 pa = PTE2PA(*pte);
PTE2PA            286 kernel/vm.c          uint64 child = PTE2PA(pte);
PTE2PA            325 kernel/vm.c        pa = PTE2PA(*pte);
PTE2PA            372 kernel/vm.c        pa0 = PTE2PA(*pte);