Searched defs:vc_min (Results 1 – 2 of 2) sorted by relevance
125 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs) in DRD_() argument
905 HChar *vc_min, *vc_max; in thread_discard_ordered_segments() local