HelenOS sources

driver_dev_gone   400 uspace/lib/drv/generic/driver.c 			driver_dev_gone(&call);
driver_dev_gone    56 uspace/srv/devman/driver.h extern errno_t driver_dev_gone(dev_tree_t *, dev_node_t *);
driver_dev_gone   573 uspace/srv/devman/drv_conn.c 				gone_rc = driver_dev_gone(&device_tree, dev);