[Xen-changelog] Fix a VMX FPU bug introduced in changeset 8834.

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

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID e299470e879358118667dbb95c6735af22c3a31d
# Parent  776ab80f5a6c4c13afae3c0db6197be3c71bad4e
Fix a VMX FPU bug introduced in changeset 8834.

From: Edwin Zhai

Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>

diff -r 776ab80f5a6c -r e299470e8793 xen/include/asm-x86/hvm/vmx/vmx.h
--- a/xen/include/asm-x86/hvm/vmx/vmx.h Thu Feb 16 23:24:47 2006
+++ b/xen/include/asm-x86/hvm/vmx/vmx.h Fri Feb 17 11:28:35 2006
@@ -395,6 +395,7 @@
     __vmread_vcpu(v, CR0_READ_SHADOW, &cr0);
     if ( !(cr0 & X86_CR0_TS) )
     {
+        __vmread_vcpu(v, GUEST_CR0, &cr0);
         __vmwrite(GUEST_CR0, cr0 | X86_CR0_TS);
         __vm_set_bit(EXCEPTION_BITMAP, EXCEPTION_BITMAP_NM);
     }

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