#include <asm/time.h>
#include <asm/irq.h>
#include <asm/io.h>
-#include "../ar531x.h"
+
+#include <ar531x.h>
+#include <gpio.h>
/*
* Called when an interrupt is received, this function
} else if (pending & CAUSEF_IP7) {
do_IRQ(AR531X_IRQ_CPU_CLOCK);
}
- else
- do_IRQ(AR531X_IRQ_NONE);
}
printk("AHB interrupt: PROCADDR=0x%8.8x PROC1=0x%8.8x DMAADDR=0x%8.8x DMA1=0x%8.8x\n",
procAddr, proc1, dmaAddr, dma1);
-
+
machine_restart("AHB error"); /* Catastrophic failure */
return IRQ_HANDLED;
}