Index: kernel/generic/include/ddi/device.h
===================================================================
--- kernel/generic/include/ddi/device.h	(revision 7bcfbbc039dd4d392dc880cbc1a87b94b7ca853f)
+++ kernel/generic/include/ddi/device.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -36,4 +36,7 @@
 #define KERN_DEVICE_H_
 
+#include <arch/types.h>
+#include <typedefs.h>
+
 extern devno_t device_assign_devno(void);