82 static const char *find_client(const char *clientname)  in find_client()  argument
103       strcat(fullname, clientname);  in find_client()
109    return clientname;  in find_client()
113 static const char *select_platform(const char *clientname)  in select_platform()  argument
120    VG_(debugLog)(2, "launcher", "selecting platform for '%s'\n", clientname);  in select_platform()
122    if (strchr(clientname, '/') == NULL)  in select_platform()
123       clientname = find_client(clientname);  in select_platform()
125    VG_(debugLog)(2, "launcher", "selecting platform for '%s'\n", clientname);  in select_platform()
127    if ((fd = open(clientname, O_RDONLY)) < 0)  in select_platform()
131    VG_(debugLog)(2, "launcher", "opened '%s'\n", clientname);  in select_platform()
140                     (long int)n_bytes, clientname);  in select_platform()
243    const char *clientname = NULL;  in main()  local
258          clientname = argv[i];  in main()
263             clientname = argv[i+1];  in main()
307    if (clientname == NULL) {  in main()
312    } else if ((platform = select_platform(clientname)) != NULL) {  in main()