delete_driver 194 uspace/srv/devman/driver.c delete_driver(drv); delete_driver 65 uspace/srv/devman/driver.h extern void delete_driver(driver_t *);