HelenOS sources

devman_driver_get_name  228 uspace/app/devctl/devctl.c 		rc = devman_driver_get_name(drvs[i], drv_name, MAX_NAME_LENGTH);
devman_driver_get_name  273 uspace/app/devctl/devctl.c 	rc = devman_driver_get_name(drvh, drv_name, MAX_NAME_LENGTH);
devman_driver_get_name   81 uspace/lib/device/include/devman.h extern errno_t devman_driver_get_name(devman_handle_t, char *, size_t);
devman_driver_get_name  808 uspace/srv/devman/client_conn.c 			devman_driver_get_name(&call);