Searched refs:vc_print (Results 1 – 3 of 3) sorted by relevance
90 void DRD_(vc_print)(const VectorClock* const vc);
216 DRD_(vc_print)(&sg->vc); in DRD_()
238 void DRD_(vc_print)(const VectorClock* const vc) in DRD_() argument