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