driver_get_device 178 uspace/lib/drv/generic/driver.c ddf_dev_t *dev = driver_get_device(devh); driver_get_device 211 uspace/lib/drv/generic/driver.c ddf_dev_t *dev = driver_get_device(devh);