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