Home | History | Annotate | Download | only in drd

Lines Matching refs:thread_get_vc

391          vc = DRD_(vc_aprint)(DRD_(thread_get_vc)(drd_joiner));
801 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid)
1091       str1 = DRD_(vc_aprint)(DRD_(thread_get_vc)(joiner));
1092       str2 = DRD_(vc_aprint)(DRD_(thread_get_vc)(joinee));
1101       DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(joiner));
1102       DRD_(vc_combine)(DRD_(thread_get_vc)(joiner),
1103                        DRD_(thread_get_vc)(joinee));
1108       DRD_(vc_combine)(DRD_(thread_get_vc)(joiner),
1109                        DRD_(thread_get_vc)(joinee));
1117       str = DRD_(vc_aprint)(DRD_(thread_get_vc)(joiner));
1141       DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid));
1142       DRD_(vc_combine)(DRD_(thread_get_vc)(tid), vc);
1146          str2 = DRD_(vc_aprint)(DRD_(thread_get_vc)(tid));
1159       tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid)));
1405       str = DRD_(vc_aprint)(DRD_(thread_get_vc)(tid));
1491       str = DRD_(vc_aprint)(DRD_(thread_get_vc)(tid));
1498    new_vc = DRD_(thread_get_vc)(tid);