MAS6_SAS
val = (pid << MAS6_SPID_SHIFT) | MAS6_SAS;
| (as ? MAS6_SAS : 0);
| ((vcpu->arch.shared->mas6 & MAS6_SAS) ? MAS1_TS : 0)