Searched defs:vgdb_format (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/coregrind/
H A Dvgdb.c1177 char *vgdb_format = vmalloc (strlen(vgdb_prefix) + strlen(suffix) + 1); local
1179 strcpy (vgdb_format, vgdb_prefix);
1180 strcat (vgdb_format, suffix);
1194 vgdb_dir_name, vgdb_format);
1231 if (strncmp (pathname, vgdb_format,
1232 strlen (vgdb_format)) == 0) {
1233 newpid = strtol(pathname + strlen (vgdb_format),
1273 free (vgdb_format);

Completed in 256 milliseconds