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