VMX domains can have iopl!=0.

PATCH New Arun Sharma 1 participant 1 message Aug 11, 2005

lore

Share & tools

lore

Arun Sharma

author

2005-08-11 19:25 UTC #0 lore raw

PATCH 14/15 VMX domains can have iopl!=0.

VMX domains can have iopl!=0.

Signed-off-by Arun Sharma <[email protected]>

xen/arch/x86/dom0_ops.c +1 -1

diff -r bbb21d688c7f -r b1a41c400d5c xen/arch/x86/dom0_ops.c
@@ -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) )