From 19b03acdd1cdb8a6c35a30079ae6d6fb72caa285 Mon Sep 17 00:00:00 2001 From: "Liu, Jinsong" Date: Wed, 26 Sep 2012 12:05:55 +0200 Subject: x86: vMCE save and restore This patch provides vMCE save/restore when migration. 1. MCG_CAP is well-defined. However, considering future cap extension, we keep save/restore logic that Jan implement at c/s 24887; 2. MCi_CTL2 initialized by guestos when booting, so need save/restore otherwise guest would surprise; 3. Other MSRs do not need save/restore since they are either error- related and pointless to save/restore, or, unified among all vMCE platform; Signed-off-by: Liu, Jinsong - fix handling of partial data in XEN_DOMCTL_set_ext_vcpucontext - fix adjustment of xen_domctl_ext_vcpucontext Signed-off-by: Jan Beulich Committed-by: Jan Beulich --- tools/misc/xen-hvmctx.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tools/misc') diff --git a/tools/misc/xen-hvmctx.c b/tools/misc/xen-hvmctx.c index 52f714b5de..edcebec00a 100644 --- a/tools/misc/xen-hvmctx.c +++ b/tools/misc/xen-hvmctx.c @@ -388,6 +388,8 @@ static void dump_vmce_vcpu(void) HVM_SAVE_TYPE(VMCE_VCPU) p; READ(p); printf(" VMCE_VCPU: caps %" PRIx64 "\n", p.caps); + printf(" VMCE_VCPU: bank0 mci_ctl2 %" PRIx64 "\n", p.mci_ctl2_bank0); + printf(" VMCE_VCPU: bank1 mci_ctl2 %" PRIx64 "\n", p.mci_ctl2_bank1); } int main(int argc, char **argv) -- cgit v1.2.3