HPTE_V_1TB_SEG
if (!(v & HPTE_V_1TB_SEG))
(HPTE_V_1TB_SEG | (VRMA_VSID << (40 - 16)));
if (!(vpte & HPTE_V_1TB_SEG)) {
hp0 = HPTE_V_1TB_SEG | (VRMA_VSID << (40 - 16)) |