Searched refs:vc_min (Results 1 – 3 of 3) sorted by relevance
85 void DRD_(vc_min)(VectorClock* const result,
858 DRD_(vc_min)(vc, &latest_sg->vc); in DRD_()905 HChar *vc_min, *vc_max; in thread_discard_ordered_segments() local910 vc_min = DRD_(vc_aprint)(&thread_vc_min); in thread_discard_ordered_segments()914 vc_min, vc_max); in thread_discard_ordered_segments()915 VG_(free)(vc_min); in thread_discard_ordered_segments()
125 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs) in DRD_() argument