Index: uspace/srv/devman/devman.h
===================================================================
--- uspace/srv/devman/devman.h	(revision c1a04886f6fc4fd68787bad7a58a1e5f594797ce)
+++ uspace/srv/devman/devman.h	(revision d9f53877c83a2ddc2668567168e75a24406af55c)
@@ -263,4 +263,5 @@
 extern bool start_driver(driver_t *);
 extern int driver_dev_remove(dev_tree_t *, dev_node_t *);
+extern int driver_dev_gone(dev_tree_t *, dev_node_t *);
 extern int driver_fun_online(dev_tree_t *, fun_node_t *);
 extern int driver_fun_offline(dev_tree_t *, fun_node_t *);