Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision aa537a5a4e471cb463f4e25b55458fc8974897a7)
+++ uspace/lib/c/include/ddi.h	(revision bd92e6d58d98c6e39be91bc9e1d2d04be71b5c04)
@@ -53,6 +53,4 @@
 typedef volatile uint32_t ioport32_t;
 typedef volatile uint64_t ioport64_t;
-
-extern int device_assign_devno(void);
 
 extern int physmem_map(uintptr_t, size_t, unsigned int, void **);