diff --git a/include/plat/omap3/plat/machine/interrupt.h b/include/plat/omap3/plat/machine/interrupt.h
index b631f66b8..a8066d6e2 100644
--- a/include/plat/omap3/plat/machine/interrupt.h
+++ b/include/plat/omap3/plat/machine/interrupt.h
@@ -18,7 +18,6 @@
 #include <plat/machine.h>
 #include <arch/linker.h>
 #include <plat/machine/devices.h>
-#include <plat/machine/hardware.h>
 
 #define INTCPS_SIR_IRQ_SPURIOUSIRQFLAG 0xFF0000