PA2PTE            112 kernel/vm.c          *pte = PA2PTE(pagetable) | PTE_V;
PA2PTE            168 kernel/vm.c        *pte = PA2PTE(pa) | perm | PTE_V;