96   ctx->dd = DDetector::Create(flags());  in Initialize()
102   thr->dd_pt = ctx->dd->CreatePhysicalThread();  in ThreadInit()
103   thr->dd_lt = ctx->dd->CreateLogicalThread(id);  in ThreadInit()
107   ctx->dd->DestroyPhysicalThread(thr->dd_pt);  in ThreadDestroy()
108   ctx->dd->DestroyLogicalThread(thr->dd_lt);  in ThreadDestroy()
118       ctx->dd->MutexInit(&cb, &h->dd);  in MutexBeforeLock()
119     ctx->dd->MutexBeforeLock(&cb, &h->dd, writelock);  in MutexBeforeLock()
121   ReportDeadlock(thr, ctx->dd->GetReport(&cb));  in MutexBeforeLock()
131       ctx->dd->MutexInit(&cb, &h->dd);  in MutexAfterLock()
132     ctx->dd->MutexAfterLock(&cb, &h->dd, writelock, trylock);  in MutexAfterLock()
134   ReportDeadlock(thr, ctx->dd->GetReport(&cb));  in MutexAfterLock()
143     ctx->dd->MutexBeforeUnlock(&cb, &h->dd, writelock);  in MutexBeforeUnlock()
145   ReportDeadlock(thr, ctx->dd->GetReport(&cb));  in MutexBeforeUnlock()
155   ctx->dd->MutexDestroy(&cb, &h->dd);  in MutexDestroy()