MOEA64_PTE_INVALIDATE
moea64_pte_replace(pvo, MOEA64_PTE_INVALIDATE);
refchg = moea64_pte_replace(pvo, MOEA64_PTE_INVALIDATE);