KVMPPC_GSID_CTR
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_CTR);
WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, KVMPPC_GSID_CTR) < 0);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_CTR);
case KVMPPC_GSID_CTR:
case KVMPPC_GSID_CTR:
if (!kvmppc_gsbm_test(valids, KVMPPC_GSID_CTR))
kvmppc_gsm_include(&gsm, KVMPPC_GSID_CTR);