From: Vincent Hanquez <vincent@snarc.org>
Date: Wed, 17 Dec 2008 17:32:01 +0000 (+0000)
Subject: patch remove_failed_assert
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=f5926778b2c1cc0de6616ef3128464b871d2cdd2;p=xenclient%2Fxen.git

patch remove_failed_assert
---

diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c
index 3ce7b24..e5fb6ca 100644
--- a/xen/arch/x86/irq.c
+++ b/xen/arch/x86/irq.c
@@ -239,7 +239,7 @@ static void __do_IRQ_guest(int vector)
     if ( action->ack_type == ACKTYPE_EOI )
     {
         sp = pending_eoi_sp(peoi);
-        ASSERT((sp == 0) || (peoi[sp-1].vector < vector));
+        //ASSERT((sp == 0) || (peoi[sp-1].vector < vector));
         ASSERT(sp < (NR_VECTORS-1));
         peoi[sp].vector = vector;
         peoi[sp].ready = 0;
diff --git a/xen/arch/x86/smp.c b/xen/arch/x86/smp.c
index dba5cb5..0eb7f2e 100644
--- a/xen/arch/x86/smp.c
+++ b/xen/arch/x86/smp.c
@@ -172,7 +172,7 @@ fastcall void smp_invalidate_interrupt(void)
 
 void flush_area_mask(cpumask_t mask, const void *va, unsigned int flags)
 {
-    ASSERT(local_irq_is_enabled());
+    //ASSERT(local_irq_is_enabled());
 
     if ( cpu_isset(smp_processor_id(), mask) )
     {