|
@@ -6,12 +6,6 @@
|
|
|
* David Mosberger-Tang <davidm@hpl.hp.com>
|
|
|
*/
|
|
|
|
|
|
-
|
|
|
-#include <linux/threads.h>
|
|
|
-#include <linux/irq.h>
|
|
|
-
|
|
|
-#include <asm/processor.h>
|
|
|
-
|
|
|
/*
|
|
|
* No irq_cpustat_t for IA-64. The data is held in the per-CPU data structure.
|
|
|
*/
|
|
@@ -20,6 +14,11 @@
|
|
|
|
|
|
#define local_softirq_pending() (local_cpu_data->softirq_pending)
|
|
|
|
|
|
+#include <linux/threads.h>
|
|
|
+#include <linux/irq.h>
|
|
|
+
|
|
|
+#include <asm/processor.h>
|
|
|
+
|
|
|
extern void __iomem *ipi_base_addr;
|
|
|
|
|
|
void ack_bad_irq(unsigned int irq);
|