From mboxrd@z Thu Jan 1 00:00:00 1970 From: Arun Sharma Subject: [PATCH][VT][14/15] VMX domains can have iopl!=0. Date: Thu, 11 Aug 2005 12:25:21 -0700 Message-ID: <20050811192521.GA15369@intel.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Content-Disposition: inline List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: Ian Pratt , Keir Fraser Cc: xen-devel@lists.xensource.com List-Id: xen-devel@lists.xenproject.org VMX domains can have iopl!=0. Signed-off-by: Arun Sharma 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) )