Changes in uspace/lib/c/generic/ddi.c [24abb85d:9f9b6f0e] in mainline

File:

• uspace/lib/c/generic/ddi.c (modified) (1 diff)

uspace/lib/c/generic/ddi.c

@@ -50 +50 @@
 #include "private/libc.h"
 
+
+/** Return unique device number.
+ *
+ * @return New unique device number.
+ *
+ */
+int device_assign_devno(void)
+{
+        return __SYSCALL0(SYS_DEVICE_ASSIGN_DEVNO);
+}
 
 /** Map a piece of physical memory to task.