Searched refs:thread_get_vc (Results 1 – 3 of 3) sorted by relevance
170 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid);
95 vc = DRD_(vc_aprint)(DRD_(thread_get_vc)(DRD_(thread_get_running_tid)())); in DRD_()
388 vc = DRD_(vc_aprint)(DRD_(thread_get_vc)(drd_joiner)); in DRD_()792 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid) in DRD_() argument