MAS0_TLBSEL
#define MAS4_TLBSELD(x) MAS0_TLBSEL(x)
vcpu->arch.shared->mas0 = MAS0_TLBSEL(tlbsel) | MAS0_ESEL(victim)
vcpu->arch.shared->mas0 = MAS0_TLBSEL(tlbsel) | MAS0_ESEL(esel)
vcpu->arch.shared->mas0 = MAS0_TLBSEL(tlbsel)
MAS0_TLBSEL(1) |
__write_host_tlbe(&magic, MAS0_TLBSEL(1) | MAS0_ESEL(tlbcam_index), 0);
MAS0_TLBSEL(1) |
TLBCAM[index].MAS0 = MAS0_TLBSEL(1) | MAS0_ESEL(index) | MAS0_NV(index+1);
mtspr(SPRN_MAS0, MAS0_ESEL(index) | MAS0_TLBSEL(1));
u32 mas0 = MAS0_TLBSEL(tlb);