DEVMAN_DRIVER_GET_NAME 687 uspace/lib/device/src/devman.c return devman_get_str_internal(DEVMAN_DRIVER_GET_NAME, handle, 0, NULL, DEVMAN_DRIVER_GET_NAME 807 uspace/srv/devman/client_conn.c case DEVMAN_DRIVER_GET_NAME:HelenOS homepage, sources at GitHub