PTE2PA            107 kernel/vm.c          pagetable = (pagetable_t)PTE2PA(*pte);
PTE2PA            137 kernel/vm.c      pa = PTE2PA(*pte);
PTE2PA            208 kernel/vm.c          uint64 pa = PTE2PA(*pte);
PTE2PA            272 kernel/vm.c          uint64 child = PTE2PA(pte);
PTE2PA            311 kernel/vm.c        pa = PTE2PA(*pte);