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