Searched refs:thread_vc_max (Results 1 – 1 of 1) sorted by relevance
897 VectorClock thread_vc_max; in thread_discard_ordered_segments() local899 DRD_(vc_init)(&thread_vc_max, 0, 0); in thread_discard_ordered_segments()900 DRD_(thread_compute_maximum_vc)(&thread_vc_max); in thread_discard_ordered_segments()902 vc_max = DRD_(vc_aprint)(&thread_vc_max); in thread_discard_ordered_segments()908 DRD_(vc_cleanup)(&thread_vc_max); in thread_discard_ordered_segments()