[Xen-devel] [PATCH][VT][14/15] VMX domains can have iopl!=0.

[Arun Sharma <arun.sharma@xxxxxxxxx>]

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-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel