Searched refs:vgdb_prefix_default (Results 1 – 4 of 4) sorted by relevance
39 HChar* VG_(vgdb_prefix_default)(void);
124 char *vgdb_prefix_default(void) in vgdb_prefix_default() function1143 "\n", vgdb_prefix_default() in usage()1434 vgdb_prefix = vgdb_prefix_default(); in parse_options()
330 VG_(vgdb_prefix_default)() /* char* */, in usage_NORETURN()883 VG_(clo_vgdb_prefix) = VG_(vgdb_prefix_default)(); in main_process_cmd_line_options()
1262 VG_(vgdb_prefix_default)(void) in VG_() argument