devman_driver_get_name 685 uspace/lib/device/src/devman.c errno_t devman_driver_get_name(devman_handle_t handle, char *buf, size_t buf_size) devman_driver_get_name 655 uspace/srv/devman/client_conn.c static void devman_driver_get_name(ipc_call_t *icall)HelenOS homepage, sources at GitHub