PTED_HID
idx = (idx ^ (PTED_HID(pted) ? pmap_ptab_mask : 0));
idx = (idx ^ (PTED_HID(pted) ? pmap_ptab_mask : 0));
pte += (idx ^ (PTED_HID(pted) ? pmap_ptab_mask : 0)) * 8;
(PTED_HID(pted) ? PTE_HID_64 : 0)) == pte->pte_hi)
pte += (idx ^ (PTED_HID(pted) ? pmap_ptab_mask : 0)) * 8;
(PTED_HID(pted) ? PTE_HID_32 : 0)) == pte->pte_hi)
idx ^= (PTED_HID(pted) ? pmap_ptab_mask : 0);
(PTED_HID(pted) ? PTE_HID : 0)) == pte->pte_hi)
pte += (idx ^ (PTED_HID(pted) ? pmap_ptab_mask : 0)) * 8;
idx ^= (PTED_HID(pted) ? pmap_ptab_mask : 0);
if (PTED_HID(pted))