KVMPPC_GSID_VSCR
WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, KVMPPC_GSID_VSCR) < 0);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_VSCR);
case KVMPPC_GSID_VSCR: