[Xen-changelog] VMX domains can have iopl!=0.

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

# HG changeset patch
# User adsharma@xxxxxxxxxxxxxxxxxxxx
# Node ID b1a41c400d5ccc263aa064e1aa87b041d7a93cc0
# Parent  bbb21d688c7f35c42609d0382eaa04cf8b275cf2
VMX domains can have iopl!=0.

Signed-off-by: Arun Sharma <arun.sharma@xxxxxxxxx>

diff -r bbb21d688c7f -r b1a41c400d5c xen/arch/x86/dom0_ops.c
--- a/xen/arch/x86/dom0_ops.c   Tue Aug  9 19:12:48 2005
+++ b/xen/arch/x86/dom0_ops.c   Tue Aug  9 19:18:23 2005
@@ -405,7 +405,7 @@
     memcpy(c, &v->arch.guest_context, sizeof(*c));
 
     /* IOPL privileges are virtualised -- merge back into returned eflags. */
-    BUG_ON((c->user_regs.eflags & EF_IOPL) != 0);
+    BUG_ON(((c->user_regs.eflags & EF_IOPL) != 0) && !(VMX_DOMAIN(v)));
     c->user_regs.eflags |= v->arch.iopl << 12;
 
     if ( VMX_DOMAIN(v) )

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