delete_dev_node 88 uspace/srv/devman/dev.c delete_dev_node(dev); delete_dev_node 40 uspace/srv/devman/dev.h extern void delete_dev_node(dev_node_t *node);