Searched refs:vc_min (Results 1 - 3 of 3) sorted by relevance

/external/valgrind/main/drd/
H A Ddrd_vc.h86 void DRD_(vc_min)(VectorClock* const result,
H A Ddrd_vc.c123 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs) function
H A Ddrd_thread.c835 DRD_(vc_min)(vc, &latest_sg->vc);
883 char *vc_min, *vc_max; local
888 vc_min = DRD_(vc_aprint)(&thread_vc_min);
892 vc_min, vc_max);
893 VG_(free)(vc_min);

Completed in 179 milliseconds