MAS2_ATTRIB_MASK
| (vcpu->arch.shared->mas4 & MAS2_ATTRIB_MASK);
MAS2_ATTRIB_MASK;
tlbe->flags |= (gtlbe->mas2 & MAS2_ATTRIB_MASK) | wimg;