Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 22af3af6cb9bbb2335fef06631a73e0986dbe193)
+++ kernel/generic/include/ddi/irq.h	(revision 371bd7d157f6602aa0ac4bd2e639fef084cecb89)
@@ -81,5 +81,5 @@
 #ifdef KERNEL
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <adt/list.h>
 #include <adt/hash_table.h>