PTE_VSID_SHIFT_64
va = (ptp64->pte_hi >> PTE_VSID_SHIFT_64) ^ idx;
va |= (ptp64->pte_hi >> PTE_VSID_SHIFT_64)
PTE_VSID_SHIFT_64) |