diff -r 5c7afb32df99 xen/arch/x86/hvm/svm/svm.c
--- a/xen/arch/x86/hvm/svm/svm.c	Mon Oct 01 06:39:00 2007 +0100
+++ b/xen/arch/x86/hvm/svm/svm.c	Mon Oct 01 15:29:14 2007 +0200
@@ -2166,7 +2166,6 @@ asmlinkage void svm_vmexit_handler(struc
 
     case VMEXIT_EXCEPTION_MC:
         HVMTRACE_0D(MCE, v);
-        do_machine_check(regs);
         break;
 
     case VMEXIT_VINTR:
diff -r 5c7afb32df99 xen/arch/x86/hvm/svm/vmcb.c
--- a/xen/arch/x86/hvm/svm/vmcb.c	Mon Oct 01 06:39:00 2007 +0100
+++ b/xen/arch/x86/hvm/svm/vmcb.c	Wed Sep 26 13:32:24 2007 +0200
@@ -252,6 +252,7 @@ static int construct_vmcb(struct vcpu *v
     {
         vmcb->exception_intercepts = HVM_TRAP_MASK | (1U << TRAP_page_fault);
     }
+    vmcb->exception_intercepts |= 1U << TRAP_machine_check;
 
     return 0;
 }