KVMPPC_GSID_LPCR
KVMPPC_BOOK3S_VCORE_ACCESSOR_GET(lpcr, 64, KVMPPC_GSID_LPCR)
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LPCR);
kvmppc_gse_put_u64(io->vcpu_run_input, KVMPPC_GSID_LPCR, lpcr);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LPCR);
case KVMPPC_GSID_LPCR:
case KVMPPC_GSID_LPCR:
case KVMPPC_GSID_LPCR: