On 07/23/2011 12:49 PM, Alexander Graf wrote:
@@ -1304,6 +1304,10 @@ static void mpic_reset (void *opaque)
          mpp->src[i].ipvp = 0x80800000;
          mpp->src[i].ide  = 0x00000001;
      }
+    /* Set IDE for IPIs to 0 so we don't get spurious interrupts */
+    for (i = mpp->irq_ipi0; i<  MAX_IPI; i++) {

I suppose you meant i < mpp->irq_ipi0 + MAX_IPI in that loop condition right? ;)

+        mpp->src[i].ide = 0;
+    }
      /* Initialise IRQ destinations */
      for (i = 0; i<  MAX_CPU; i++) {
          mpp->dst[i].pctp      = 0x0000000F;

Reply via email to