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