PTE_HID_64
ptp64[i].pte_hi |= (PTE_HID_64|PTE_VALID_64);
idx = (idx ^ ((ptp64->pte_hi & PTE_HID_64) ?
ptp64->pte_hi |= PTE_HID_64;
(PTED_HID(pted) ? PTE_HID_64 : 0)) == pte->pte_hi)