PTE_HID_32
ptp32[i].pte_hi |= (PTE_HID_32|PTE_VALID_32);
^(idx ^ ((ptp32->pte_hi & PTE_HID_32) ? 0x3ff : 0)))
ptp32->pte_hi |= PTE_HID_32;
(PTED_HID(pted) ? PTE_HID_32 : 0)) == pte->pte_hi)