ia64/xen-unstable

changeset 6738:8fc210e6a588

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

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Sat Sep 10 14:20:29 2005 +0000 (2005-09-10)
parents a8f01a0a9559
children 20b6be0e1fa1
files xen/arch/x86/vmx_io.c
line diff
     1.1 --- a/xen/arch/x86/vmx_io.c	Sat Sep 10 14:19:09 2005 +0000
     1.2 +++ b/xen/arch/x86/vmx_io.c	Sat Sep 10 14:20:29 2005 +0000
     1.3 @@ -261,7 +261,7 @@ static void set_reg_value (int size, int
     1.4                  domain_crash_synchronous();
     1.5                  break;
     1.6          }
     1.7 -
     1.8 +        return;
     1.9      }
    1.10  
    1.11      switch (index) {