Mailing List Archive

# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# Node ID e299470e879358118667dbb95c6735af22c3a31d
# Parent 776ab80f5a6c4c13afae3c0db6197be3c71bad4e
Fix a VMX FPU bug introduced in changeset 8834.

From: Edwin Zhai

Signed-off-by: Keir Fraser <keir@xensource.com>

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@lists.xensource.com
http://lists.xensource.com/xen-changelog