Index: kernel/generic/src/ddi/device.c
===================================================================
--- kernel/generic/src/ddi/device.c	(revision 2b017ba3f7b12c023121e41aca02b7d6bf2bdade)
+++ kernel/generic/src/ddi/device.c	(revision 58a6d9978211abcec4de25c74bb5b77f680f2f32)
@@ -35,4 +35,5 @@
  */
 
+#include <arch/types.h>
 #include <ddi/device.h>
 #include <atomic.h>