pte_prot
newpte = (pt_entry_t)(pa | pte_prot(pmap, prot) |
newpte = (pt_entry_t)(pa | pte_prot(pmap, prot) | VPTE_V | VPTE_U);