Searched refs:thread_compute_maximum_vc (Results 1 – 1 of 1) sorted by relevance
846 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc) in DRD_() argument887 DRD_(thread_compute_maximum_vc)(&thread_vc_max); in thread_discard_ordered_segments()