HelenOS sources

driver_get_devices  566 uspace/srv/devman/client_conn.c 	rc = driver_get_devices(drv, hdl_buf, size, &act_size);
driver_get_devices   67 uspace/srv/devman/driver.h extern errno_t driver_get_devices(driver_t *, devman_handle_t *, size_t, size_t *);