Index: uspace/lib/c/include/devman.h
===================================================================
--- uspace/lib/c/include/devman.h	(revision e72fb348198e9b4ab1887f677df44e67198248b5)
+++ uspace/lib/c/include/devman.h	(revision 69ac0fdc73f9878da05bf0b889475b0448d1d633)
@@ -55,4 +55,5 @@
 extern int devman_device_get_handle_by_class(const char *, const char *,
     devman_handle_t *, unsigned int);
+extern int devman_get_device_path(devman_handle_t, char *, size_t);
 
 extern int devman_add_device_to_class(devman_handle_t, const char *);