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() function1137 "\n", vgdb_prefix_default() in usage()1428 vgdb_prefix = vgdb_prefix_default(); in parse_options()
321 VG_(vgdb_prefix_default)() /* char* */, in usage_NORETURN()902 VG_(clo_vgdb_prefix) = VG_(vgdb_prefix_default)(); in main_process_cmd_line_options()
1254 VG_(vgdb_prefix_default)(void) in VG_() argument