PSW_BITS_AS_PRIMARY
psw.as = PSW_BITS_AS_PRIMARY;
case PSW_BITS_AS_PRIMARY:
if (new_as == PSW_BITS_AS_PRIMARY && !old_as_is_home(vcpu) &&
KVM_BUG(current->thread.gmap_teid.as != PSW_BITS_AS_PRIMARY, vcpu->kvm,
case PSW_BITS_AS_PRIMARY: