PTE_WIRED
pted.pted_pte.pte_hi |= PTE_WIRED;
if ((pte[i].pte_hi & ~PTE_WIRED) == pte_hi)
if ((pte[i].pte_hi & ~PTE_WIRED) == pte_hi)
pte->pte_hi |= PTE_WIRED;
if ((pte->pte_hi & PTE_WIRED) == 0)