1.1 --- a/xen/include/asm-x86/regs.h	Tue Jul 03 14:57:59 2007 +0100
     1.2 +++ b/xen/include/asm-x86/regs.h	Tue Jul 03 15:49:16 2007 +0100
     1.3 @@ -36,11 +36,6 @@ enum EFLAGS {
     1.4      unsigned long diff = (char *)guest_cpu_user_regs() - (char *)(r);         \
     1.5      /* Frame pointer must point into current CPU stack. */                    \
     1.6      ASSERT(diff < STACK_SIZE);                                                \
     1.7 -    /* If a guest frame, it must be have guest privs (unless HVM guest).   */ \
     1.8 -    /* We permit CS==0 which can come from an uninitialised trap entry. */    \
     1.9 -    ASSERT((diff != 0) || vm86_mode(r) ||                                     \
    1.10 -           ((r->cs&3) >= GUEST_KERNEL_RPL(current->domain)) ||                \
    1.11 -           (r->cs == 0) || is_hvm_vcpu(current));                             \
    1.12      /* If not a guest frame, it must be a hypervisor frame. */                \
    1.13      ASSERT((diff == 0) || (!vm86_mode(r) && (r->cs == __HYPERVISOR_CS)));     \
    1.14      /* Return TRUE if it's a guest frame. */                                  \