Home | History | Annotate | Download | only in coregrind

Lines Matching refs:clo_vgdb_prefix

529       else if VG_STR_CLO (arg, "--vgdb-prefix",    VG_(clo_vgdb_prefix)) {}
743    if (VG_(clo_vgdb_prefix) == NULL)
744      VG_(clo_vgdb_prefix) = VG_(vgdb_prefix_default)();