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