MAS6_SPID_SHIFT
val = (pid << MAS6_SPID_SHIFT) | MAS6_SAS;
mtspr(SPRN_MAS6, (vcpu->arch.pid << MAS6_SPID_SHIFT) | addr_space);