PTE_AVPN
pte_hi = (avpn & PTE_AVPN) | PTE_VALID;
pte->pte_hi = (pmap_pted2avpn(pted) & PTE_AVPN) | PTE_VALID;
avpn = pte->pte_hi & PTE_AVPN;