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