Searched refs:thread_compute_minimum_vc (Results 1 – 1 of 1) sorted by relevance
784 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc) in DRD_() argument844 DRD_(thread_compute_minimum_vc)(&thread_vc_min); in thread_discard_ordered_segments()