diff --git a/src/generic/irq.h b/src/generic/irq.h
index bbabf029..76c28bf3 100644
--- a/src/generic/irq.h
+++ b/src/generic/irq.h
@@ -1,8 +1,6 @@
 #ifndef __GENERIC_IRQ_H
 #define __GENERIC_IRQ_H
 
-#include <stdint.h>
-
 typedef unsigned long irqstatus_t;
 
 void irq_disable(void);