Searched refs:thread_post_join (Results 1 – 3 of 3) sorted by relevance
142 void DRD_(thread_post_join)(DrdThreadId drd_joiner, DrdThreadId drd_joinee);
317 DRD_(thread_post_join)(drd_tid, thread_to_join); in handle_client_request() local
373 void DRD_(thread_post_join)(DrdThreadId drd_joiner, DrdThreadId drd_joinee) in DRD_() argument