KVMPPC_GSID_MSR
KVMPPC_VCPU_SHARED_REGS_ACCESSOR_GET(msr, 64, KVMPPC_GSID_MSR)
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_MSR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_MSR);
WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, KVMPPC_GSID_MSR) < 0);
case KVMPPC_GSID_MSR:
case KVMPPC_GSID_MSR:
case KVMPPC_GSID_MSR: