diff -r 7abb25095de0 xen/arch/x86/cpu/mcheck/mce.c --- a/xen/arch/x86/cpu/mcheck/mce.c Thu Oct 25 13:15:19 2012 +0200 +++ b/xen/arch/x86/cpu/mcheck/mce.c Fri Oct 26 09:55:35 2012 +0200 @@ -1145,6 +1121,19 @@ static int x86_mc_msrinject_verify(struc case MSR_IA32_MCG_STATUS: break; + case MSR_F10_MC4_MISC1: + case MSR_F10_MC4_MISC2: + case MSR_F10_MC4_MISC3: + if (c->x86_vendor != X86_VENDOR_AMD) { + reason = "only supported on AMD"; + break; + } + if (c->x86 < 0x10) { + reason = "only supported on AMD Family 10h+"; + break; + } + break; + /* MSRs that the HV will take care of */ case MSR_K8_HWCR: if (c->x86_vendor == X86_VENDOR_AMD)