Changes in kernel/generic/include/ddi/device.h [84afc7b:96b02eb9] 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 unative_t sys_device_assign_devno(void);
+extern sysarg_t sys_device_assign_devno(void);
 
 #endif