MAS0_NV
| MAS0_NV(vcpu_e500->gtlb_nv[tlbsel]);
vcpu->arch.shared->mas0 &= ~MAS0_NV(~0);
vcpu->arch.shared->mas0 |= MAS0_NV(vcpu_e500->gtlb_nv[tlbsel]);
| MAS0_NV(vcpu_e500->gtlb_nv[tlbsel]);
| MAS0_NV(vcpu_e500->gtlb_nv[tlbsel]);
TLBCAM[index].MAS0 = MAS0_TLBSEL(1) | MAS0_ESEL(index) | MAS0_NV(index+1);