PTE2PA            106 kernel/vm.c          pagetable = (pagetable_t)PTE2PA(*pte);
PTE2PA            136 kernel/vm.c      pa = PTE2PA(*pte);
PTE2PA            207 kernel/vm.c          uint64 pa = PTE2PA(*pte);
PTE2PA            270 kernel/vm.c          uint64 child = PTE2PA(pte);
PTE2PA            309 kernel/vm.c        pa = PTE2PA(*pte);