Changes in kernel/generic/include/ddi/device.h [96b02eb9:84afc7b] in mainline

File:

• kernel/generic/include/ddi/device.h (modified) (1 diff)

kernel/generic/include/ddi/device.h

@@ -36 +36 @@
 #define KERN_DEVICE_H_
 
+#include <arch/types.h>
 #include <typedefs.h>
 
 extern devno_t device_assign_devno(void);
-extern sysarg_t sys_device_assign_devno(void);
+extern unative_t sys_device_assign_devno(void);
 
 #endif