Searched defs:vc_copy (Results 1 – 1 of 1) sorted by relevance
73 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs) in DRD_() argument82 DRD_(vc_copy)(lhs, rhs); in DRD_() local