Index: uspace/lib/libc/generic/ddi.c
===================================================================
--- uspace/lib/libc/generic/ddi.c	(revision 656b789da2d7f7f9eb0de7c8dc55ec4fba5a0f9d)
+++ uspace/lib/libc/generic/ddi.c	(revision 7dfc120ad2ac14e97b041f8da4a10c117dfa4b1b)
@@ -41,4 +41,14 @@
 #include <libarch/config.h>
 #include <kernel/ddi/ddi_arg.h>
+
+/** Return unique device number.
+ *
+ * @return New unique device number.
+ *
+ */
+int device_assign_devno(void)
+{
+	return __SYSCALL0(SYS_DEVICE_ASSIGN_DEVNO);
+}
 
 /** Map piece of physical memory to task.
Index: uspace/lib/libc/include/ddi.h
===================================================================
--- uspace/lib/libc/include/ddi.h	(revision 656b789da2d7f7f9eb0de7c8dc55ec4fba5a0f9d)
+++ uspace/lib/libc/include/ddi.h	(revision 7dfc120ad2ac14e97b041f8da4a10c117dfa4b1b)
@@ -38,4 +38,5 @@
 #include <task.h>
 
+extern int device_assign_devno(void);
 extern int physmem_map(void *, void *, unsigned long, int);
 extern int iospace_enable(task_id_t, void *, unsigned long);