VRMA_VSID
(HPTE_V_1TB_SEG | (VRMA_VSID << (40 - 16)));
(VRMA_VSID << SLB_VSID_SHIFT_1T);
hp0 = HPTE_V_1TB_SEG | (VRMA_VSID << (40 - 16)) |
hash = (i ^ (VRMA_VSID ^ (VRMA_VSID << 25)))
(VRMA_VSID << SLB_VSID_SHIFT_1T);
(VRMA_VSID << SLB_VSID_SHIFT_1T);
protovsid = vsid_unscramble(VRMA_VSID, MMU_SEGSIZE_1T);