patch remove_failed_assert

diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c
index 3ce7b240ef31164d8b6b610bd8ae530810c9635f..e5fb6cac7d90778ecbc1a51c4f40ca6a89bdf4be 100644 (file)
--- 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 dba5cb58b666709e467042113d6446b5edfa4c91..0eb7f2eb1d4e918cf4ae2d368ed74ae17d95f0ef 100644 (file)
--- 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) )
     {