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