delete_device 73 uspace/lib/drv/generic/driver.c static void delete_device(ddf_dev_t *); delete_device 594 uspace/lib/drv/generic/driver.c delete_device(dev);