Lines Matching refs:thread_delete
382 DRD_(thread_delete)(j, False);515 void DRD_(thread_delete)(const DrdThreadId tid, const Bool detached)544 * thread_delete() is called. Note: thread_delete() is only called for582 DRD_(thread_delete)(i, True);