168                                                 const MemRegion *lockR,
219                      ArrayRef<const MemRegion *> ExplicitRegions,
220                      ArrayRef<const MemRegion *> Regions,
250 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)  in REGISTER_LIST_WITH_PROGRAMSTATE()  argument
253 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)  in REGISTER_LIST_WITH_PROGRAMSTATE()
256 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef)  in REGISTER_LIST_WITH_PROGRAMSTATE()
288     ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {  in resolvePossiblyDestroyedMutex()
402   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()
480   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()
504     const MemRegion *firstLockR = LS.getHead();  in ReleaseLockAux()
541   const MemRegion *LockR = MtxVal.getAsRegion();  in DestroyLockAux()
598   const MemRegion *LockR = MtxVal.getAsRegion();  in InitLockAux()
665     ArrayRef<const MemRegion *> ExplicitRegions,  in checkRegionChanges()
666     ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx,  in checkRegionChanges()