PTE_VALID_64
ptp64->pte_hi |= PTE_VALID_64;
ptp64->pte_hi |= PTE_VALID_64;
if (ptp64[i].pte_hi & PTE_VALID_64)
ptp64[i].pte_hi = pted->p.pted_pte64.pte_hi & ~PTE_VALID_64;
ptp64[i].pte_hi |= PTE_VALID_64;
if (ptp64[i].pte_hi & PTE_VALID_64)
ptp64[i].pte_hi = pted->p.pted_pte64.pte_hi & ~PTE_VALID_64;
ptp64[i].pte_hi |= (PTE_HID_64|PTE_VALID_64);
if (ptp64->pte_hi & PTE_VALID_64) {
ptp64->pte_hi = pted->p.pted_pte64.pte_hi & ~PTE_VALID_64;
ptp64->pte_hi |= PTE_VALID_64;
return (pted->p.pted_pte64.pte_hi & PTE_VALID_64);
pted->p.pted_pte64.pte_hi &= ~PTE_VALID_64;
((struct pte_64 *)pte)->pte_hi &= ~PTE_VALID_64;
((va >> ADDR_API_SHIFT_64) & PTE_API_64) | PTE_VALID_64;