HelenOS sources

devman_driver_get_devices  234 uspace/app/devctl/devctl.c 		rc = devman_driver_get_devices(drvs[i], &devs, &ndevs);
devman_driver_get_devices  281 uspace/app/devctl/devctl.c 	rc = devman_driver_get_devices(drvh, &devs, &ndevs);
devman_driver_get_devices   76 uspace/lib/device/include/devman.h extern errno_t devman_driver_get_devices(devman_handle_t, devman_handle_t **,
devman_driver_get_devices  799 uspace/srv/devman/client_conn.c 			devman_driver_get_devices(&call);