[Xen-changelog] This patch fix a bug in set_reg_value() for x86_64 VMX guest.

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID 8fc210e6a588b4d06a7af67a944e4def6c4b6975
# Parent  a8f01a0a95593125c0501c7b877679076bc618e8
This patch fix a bug in set_reg_value() for x86_64 VMX guest.

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

diff -r a8f01a0a9559 -r 8fc210e6a588 xen/arch/x86/vmx_io.c
--- a/xen/arch/x86/vmx_io.c     Sat Sep 10 14:19:09 2005
+++ b/xen/arch/x86/vmx_io.c     Sat Sep 10 14:20:29 2005
@@ -261,7 +261,7 @@
                 domain_crash_synchronous();
                 break;
         }
-
+        return;
     }
 
     switch (index) {

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