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);
HelenOS homepage, sources at GitHub