Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision aa537a5a4e471cb463f4e25b55458fc8974897a7)
+++ uspace/lib/c/include/ddi.h	(revision d2e7a513a8d7f320da5fca1d9125f218a50907f3)
@@ -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 **);