Searched refs:vgdb_prefix_default (Results 1 – 4 of 4) sorted by relevance
37 HChar* VG_(vgdb_prefix_default)(void);
196 char *vgdb_prefix_default(void) in vgdb_prefix_default() function2386 vgdb_prefix = vgdb_prefix_default(); in parse_options()
292 VG_(vgdb_prefix_default)() /* char* */ in usage_NORETURN()763 VG_(clo_vgdb_prefix) = VG_(vgdb_prefix_default)(); in main_process_cmd_line_options()
233 const int name_default = strcmp(name, VG_(vgdb_prefix_default)()) == 0; in remote_open()1103 VG_(vgdb_prefix_default)(void) in VG_() argument