96                                                 const MemRegion *lockR,
102 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)  in REGISTER_LIST_WITH_PROGRAMSTATE()  argument
105 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)  in REGISTER_LIST_WITH_PROGRAMSTATE()
108 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef)  in REGISTER_LIST_WITH_PROGRAMSTATE()
160     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {  in resolvePossiblyDestroyedMutex()
221   const MemRegion *lockR = lock.getAsRegion();  in AcquireLock()
292   const MemRegion *lockR = lock.getAsRegion();  in ReleaseLock()
325     const MemRegion *firstLockR = LS.getHead();  in ReleaseLock()
351   const MemRegion *LockR = Lock.getAsRegion();  in DestroyLock()
411   const MemRegion *LockR = Lock.getAsRegion();  in InitLock()
472     const MemRegion *lockR = I->first;  in checkDeadSymbols()