Lines Matching refs:mas4
134 tlbsel = (vcpu->arch.shared->mas4 >> 28) & 0x1;
136 tsized = (vcpu->arch.shared->mas4 >> 7) & 0x1f;
144 | (vcpu->arch.shared->mas4 & MAS2_ATTRIB_MASK);
369 tlbsel = vcpu->arch.shared->mas4 >> 28 & 0x1;
378 | (vcpu->arch.shared->mas4 & MAS4_TSIZED(~0));
380 vcpu->arch.shared->mas2 |= vcpu->arch.shared->mas4 &
573 sregs->u.e.mas4 = vcpu->arch.shared->mas4;
590 vcpu->arch.shared->mas4 = sregs->u.e.mas4;
617 *val = get_reg_val(id, vcpu->arch.shared->mas4);
670 vcpu->arch.shared->mas4 = set_reg_val(id, *val);