ia64/xen-unstable

changeset 8884:e299470e8793

Fix a VMX FPU bug introduced in changeset 8834.

From: Edwin Zhai

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Fri Feb 17 12:28:35 2006 +0100 (2006-02-17)
parents 776ab80f5a6c
children 4ca6f052cdf6
files xen/include/asm-x86/hvm/vmx/vmx.h
line diff
     1.1 --- a/xen/include/asm-x86/hvm/vmx/vmx.h	Thu Feb 16 23:24:47 2006 +0000
     1.2 +++ b/xen/include/asm-x86/hvm/vmx/vmx.h	Fri Feb 17 12:28:35 2006 +0100
     1.3 @@ -395,6 +395,7 @@ static inline void vmx_stts(void)
     1.4      __vmread_vcpu(v, CR0_READ_SHADOW, &cr0);
     1.5      if ( !(cr0 & X86_CR0_TS) )
     1.6      {
     1.7 +        __vmread_vcpu(v, GUEST_CR0, &cr0);
     1.8          __vmwrite(GUEST_CR0, cr0 | X86_CR0_TS);
     1.9          __vm_set_bit(EXCEPTION_BITMAP, EXCEPTION_BITMAP_NM);
    1.10      }