devman_driver_get_match_id 670 uspace/lib/device/src/devman.c errno_t devman_driver_get_match_id(devman_handle_t handle, size_t index, char *buf, devman_driver_get_match_id 604 uspace/srv/devman/client_conn.c static void devman_driver_get_match_id(ipc_call_t *icall)HelenOS homepage, sources at GitHub