HelenOS sources

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