Lines Matching refs:mid
54 uptr addr, u64 mid) {
61 rep.AddMutex(mid);
118 u64 mid = s->GetId();
126 rep.AddMutex(mid);
143 thr->mset.Remove(mid);
181 u64 mid = s->GetId();
185 ReportMutexMisuse(thr, pc, ReportTypeMutexDoubleLock, addr, mid);
222 u64 mid = s->GetId();
226 ReportMutexMisuse(thr, pc, ReportTypeMutexBadUnlock, addr, mid);
258 u64 mid = s->GetId();
262 ReportMutexMisuse(thr, pc, ReportTypeMutexBadReadLock, addr, mid);
289 u64 mid = s->GetId();
292 thr->mset.Del(mid, false);
294 ReportMutexMisuse(thr, pc, ReportTypeMutexBadReadUnlock, addr, mid);
337 u64 mid = s->GetId();
341 ReportMutexMisuse(thr, pc, ReportTypeMutexBadUnlock, addr, mid);
