|
|
|
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] VMX domains can have iopl!=0.
# 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
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-changelog] VMX domains can have iopl!=0.,
Xen patchbot -unstable <=
|
|
|
|
|