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