Merge branch 'x86/fpu' into x86/urgent
[pandora-kernel.git] / arch / arm / kernel / irq.c
index 11dcd52..f88efb1 100644 (file)
@@ -38,6 +38,7 @@
 #include <linux/proc_fs.h>
 
 #include <asm/system.h>
+#include <asm/mach/irq.h>
 #include <asm/mach/time.h>
 
 /*