diff -r 1fcdb3a35db3 xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c	Wed Nov 08 10:48:55 2006 +0000
+++ b/xen/arch/x86/hvm/vmx/vmx.c	Wed Nov 08 10:14:55 2006 +0800
@@ -2198,7 +2199,7 @@ asmlinkage void vmx_vmexit_handler(struc
             break;
         }
         case TRAP_nmi:
-            do_nmi(regs);
+            domain_crash_synchronous();
             break;
         default:
             vmx_reflect_exception(v);