Lines Matching refs:DRD_

73 void DRD_(vc_init)(VectorClock* const vc,
76 void DRD_(vc_cleanup)(VectorClock* const vc);
77 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs);
78 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs);
79 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid);
81 Bool DRD_(vc_lte)(const VectorClock* const vc1,
83 Bool DRD_(vc_ordered)(const VectorClock* const vc1,
85 void DRD_(vc_min)(VectorClock* const result,
87 void DRD_(vc_combine)(VectorClock* const result,
89 void DRD_(vc_print)(const VectorClock* const vc);
90 HChar* DRD_(vc_aprint)(const VectorClock* const vc);
91 void DRD_(vc_check)(const VectorClock* const vc);
92 void DRD_(vc_test)(void);
102 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2)  in DRD_()  function