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