67   DPrintf("#%d: MutexCreate %zx\n", thr->tid, addr);  in MutexCreate()
85   DPrintf("#%d: MutexDestroy %zx\n", thr->tid, addr);  in MutexDestroy()
145   DPrintf("#%d: MutexLock %zx rec=%d\n", thr->tid, addr, rec);  in MutexLock()
190   DPrintf("#%d: MutexUnlock %zx all=%d\n", thr->tid, addr, all);  in MutexUnlock()
233   DPrintf("#%d: MutexReadLock %zx\n", thr->tid, addr);  in MutexReadLock()
268   DPrintf("#%d: MutexReadUnlock %zx\n", thr->tid, addr);  in MutexReadUnlock()
300   DPrintf("#%d: MutexReadOrWriteUnlock %zx\n", thr->tid, addr);  in MutexReadOrWriteUnlock()
347   DPrintf("#%d: MutexRepair %zx\n", thr->tid, addr);  in MutexRepair()
355   DPrintf("#%d: MutexInvalidAccess %zx\n", thr->tid, addr);  in MutexInvalidAccess()
363   DPrintf("#%d: Acquire %zx\n", thr->tid, addr);  in Acquire()
383   DPrintf("#%d: AcquireGlobal\n", thr->tid);  in AcquireGlobal()
392   DPrintf("#%d: Release %zx\n", thr->tid, addr);  in Release()
404   DPrintf("#%d: ReleaseStore %zx\n", thr->tid, addr);  in ReleaseStore()
426   DPrintf("#%d: AfterSleep %zx\n", thr->tid);  in AfterSleep()