ia64/xen-unstable

changeset 6518:b1a41c400d5c

VMX domains can have iopl!=0.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
author adsharma@los-vmm.sc.intel.com
date Tue Aug 09 11:18:23 2005 -0800 (2005-08-09)
parents bbb21d688c7f
children 990288245c00
files xen/arch/x86/dom0_ops.c
line diff
     1.1 --- a/xen/arch/x86/dom0_ops.c	Tue Aug 09 11:12:48 2005 -0800
     1.2 +++ b/xen/arch/x86/dom0_ops.c	Tue Aug 09 11:18:23 2005 -0800
     1.3 @@ -405,7 +405,7 @@ void arch_getdomaininfo_ctxt(
     1.4      memcpy(c, &v->arch.guest_context, sizeof(*c));
     1.5  
     1.6      /* IOPL privileges are virtualised -- merge back into returned eflags. */
     1.7 -    BUG_ON((c->user_regs.eflags & EF_IOPL) != 0);
     1.8 +    BUG_ON(((c->user_regs.eflags & EF_IOPL) != 0) && !(VMX_DOMAIN(v)));
     1.9      c->user_regs.eflags |= v->arch.iopl << 12;
    1.10  
    1.11      if ( VMX_DOMAIN(v) )