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