Xen devel - Sep 2005 - [PATCH][VT]A small fix for set_reg_value()

Hi,
This patch fix a bug in set_reg_value() for x86_64 VMX guest.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>


diff -r c8e840ac3019 xen/arch/x86/vmx_io.c
--- a/xen/arch/x86/vmx_io.c     Tue Sep  6 10:11:20 2005
+++ b/xen/arch/x86/vmx_io.c     Fri Sep  9 22:28:25 2005
@@ -261,7 +261,7 @@
                 domain_crash_synchronous();
                 break;
         }
-
+        return ;
     }

     switch (index) {

Thanks,
Chengyuan


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel