HelenOS sources

devman_driver_get_match_id  306 uspace/app/devctl/devctl.c 		rc = devman_driver_get_match_id(drvh, i, name, MAX_NAME_LENGTH,
devman_driver_get_match_id   79 uspace/lib/device/include/devman.h extern errno_t devman_driver_get_match_id(devman_handle_t, size_t, char *, size_t,
devman_driver_get_match_id  805 uspace/srv/devman/client_conn.c 			devman_driver_get_match_id(&call);