# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1192594387 -7200
# Node ID 701a3e8f8c64adc32e8c49631558da506cbfd8bc
# Parent  a421fb1b1db36b02febe14f2f95cf4446a74260d
Don't warn for EOI-ing an edge triggered interrupt.

Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>

diff -r a421fb1b1db3 -r 701a3e8f8c64 xen/arch/ia64/vmx/viosapic.c
--- a/xen/arch/ia64/vmx/viosapic.c	Sun Oct 14 03:24:30 2007 +0200
+++ b/xen/arch/ia64/vmx/viosapic.c	Wed Oct 17 06:13:07 2007 +0200
@@ -135,8 +135,9 @@ static void viosapic_update_EOI(struct v
     if ( !test_and_clear_bit(redir_num, &viosapic->isr) )
     {
         spin_unlock(&viosapic->lock);
-        gdprintk(XENLOG_WARNING, "redir %d not set for %d EOI\n",
-                 redir_num, vector);
+        if ( viosapic->redirtbl[redir_num].trig_mode == SAPIC_LEVEL )
+	    gdprintk(XENLOG_WARNING, "redir %d not set for %d EOI\n",
+		     redir_num, vector);
         return;
     }
     service_iosapic(viosapic);