Searched refs:vc_max (Results 1 – 1 of 1) sorted by relevance
847 char *vc_min, *vc_max; in thread_discard_ordered_segments() local853 vc_max = DRD_(vc_aprint)(&thread_vc_max); in thread_discard_ordered_segments()856 vc_min, vc_max); in thread_discard_ordered_segments()858 VG_(free)(vc_max); in thread_discard_ordered_segments()