Lines Matching refs:platform
132 /* Examine the client and work out which platform it is for */
138 const char *platform = NULL;
140 VG_(debugLog)(2, "launcher", "selecting platform for '%s'\n", clientname);
145 VG_(debugLog)(2, "launcher", "selecting platform for '%s'\n", clientname);
198 platform = select_platform(interp);
210 platform = "x86-solaris";
217 platform = "x86-linux";
223 platform = "arm-linux";
229 platform = "mips32-linux";
236 platform = "ppc32-linux";
242 platform = "mips32-linux";
254 platform = "amd64-solaris";
261 platform = "amd64-linux";
265 platform = "mips64-linux";
269 platform = "tilegx-linux";
273 platform = "arm64-linux";
277 platform = "ppc64le-linux";
287 platform = "ppc64be-linux";
293 platform = "s390x-linux";
297 platform = "mips64-linux";
304 VG_(debugLog)(2, "launcher", "selected platform '%s'\n",
305 platform ? platform : "unknown");
307 return platform;
318 const char *platform;
360 /* Select a platform to use if we can't decide that by looking at
389 /* Work out what platform to use, or use the default platform if
393 "no client specified, defaulting platform to '%s'\n",
395 platform = default_platform;
396 } else if ((platform = select_platform(clientname)) != NULL) {
397 VG_(debugLog)(1, "launcher", "selected platform '%s'\n", platform);
400 "no platform detected, defaulting platform to '%s'\n",
402 platform = default_platform;
472 toolfile = malloc(strlen(valgrind_lib) + strlen(toolname) + strlen(platform) + 3);
475 sprintf(toolfile, "%s/%s-%s", valgrind_lib, toolname, platform);
481 fprintf(stderr, "valgrind: failed to start tool '%s' for platform '%s': %s\n",
482 toolname, platform, strerror(errno));
