diff --git a/xen/arch/x86/hvm/svm/svm.c b/xen/arch/x86/hvm/svm/svm.c
index 7c13950859..e9d3d0162f 100644
--- a/xen/arch/x86/hvm/svm/svm.c
+++ b/xen/arch/x86/hvm/svm/svm.c
@@ -2155,6 +2155,11 @@ static void svm_do_msr_access(
             break;
 
         case MSR_IA32_MCG_STATUS:
+        case MSR_IA32_MC0_STATUS:
+        case MSR_K8_MC1_STATUS:
+        case MSR_K8_MC2_STATUS:
+        case MSR_K8_MC3_STATUS:
+        case MSR_K8_MC4_STATUS:
             /* No point in letting the guest see real MCEs */
             msr_content = 0;
             break;
diff --git a/xen/arch/x86/hvm/vmx/vmx.c b/xen/arch/x86/hvm/vmx/vmx.c
index 1c22349161..519d01879e 100644
--- a/xen/arch/x86/hvm/vmx/vmx.c
+++ b/xen/arch/x86/hvm/vmx/vmx.c
@@ -2623,6 +2623,11 @@ static int vmx_do_msr_read(struct cpu_user_regs *regs)
     case MSR_IA32_VMX_BASIC...MSR_IA32_VMX_PROCBASED_CTLS2:
         goto gp_fault;
     case MSR_IA32_MCG_STATUS:
+    case MSR_IA32_MC0_STATUS:
+    case MSR_K8_MC1_STATUS:
+    case MSR_K8_MC2_STATUS:
+    case MSR_K8_MC3_STATUS:
+    case MSR_K8_MC4_STATUS:
         /* No point in letting the guest see real MCEs */
         msr_content = 0;
         break;