# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# Date 1126362029 0
# 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@intel.com>



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 +0000
+++ b/xen/arch/x86/vmx_io.c	Sat Sep 10 14:20:29 2005 +0000
@@ -261,7 +261,7 @@ static void set_reg_value (int size, int
                 domain_crash_synchronous();
                 break;
         }
-
+        return;
     }
 
     switch (index) {