PTE_VALID_32
ptp32->pte_hi |= PTE_VALID_32;
ptp32->pte_hi |= PTE_VALID_32;
if (ptp32[i].pte_hi & PTE_VALID_32)
ptp32[i].pte_hi = pted->p.pted_pte32.pte_hi & ~PTE_VALID_32;
ptp32[i].pte_hi |= PTE_VALID_32;
if (ptp32[i].pte_hi & PTE_VALID_32)
ptp32[i].pte_hi = pted->p.pted_pte32.pte_hi & ~PTE_VALID_32;
ptp32[i].pte_hi |= (PTE_HID_32|PTE_VALID_32);
if (ptp32->pte_hi & PTE_VALID_32) {
ptp32->pte_hi = pted->p.pted_pte32.pte_hi & ~PTE_VALID_32;
ptp32->pte_hi |= PTE_VALID_32;
return (pted->p.pted_pte32.pte_hi & PTE_VALID_32);
pted->p.pted_pte32.pte_hi &= ~PTE_VALID_32;
((struct pte_32 *)pte)->pte_hi &= ~PTE_VALID_32;
((va >> ADDR_API_SHIFT_32) & PTE_API_32) | PTE_VALID_32;