Searched refs:vc_reserve (Results 1 – 2 of 2) sorted by relevance
36 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);54 DRD_(vc_reserve)(vc, size); in DRD_() local69 DRD_(vc_reserve)(vc, 0); in DRD_()193 DRD_(vc_reserve)(result, new_size); in DRD_() local314 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity) in DRD_() argument
97 DRD_(vc_reserve)(&vc1, i); in vc_unittest()99 DRD_(vc_reserve)(&vc1, i); in vc_unittest()