Arun Sharma
2005-Aug-11 19:25 UTC
[Xen-devel] [PATCH][VT][14/15] VMX domains can have iopl!=0.
VMX domains can have iopl!=0.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
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@lists.xensource.com
http://lists.xensource.com/xen-devel