179                    const Expr *MtxExpr, SVal MtxVal,
196                       const Expr *MtxExpr, SVal MtxVal, bool IsTryLock,
203                       const Expr *MtxExpr, SVal MtxVal,
212                       const Expr *MtxExpr, SVal MtxVal,
398                                         SVal MtxVal, bool IsTryLock,  in AcquireLockAux()  argument
404   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()
477                                         SVal MtxVal,  in ReleaseLockAux()  argument
482   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()
537                                         SVal MtxVal,  in DestroyLockAux()  argument
543   const MemRegion *LockR = MtxVal.getAsRegion();  in DestroyLockAux()
595                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
600   const MemRegion *LockR = MtxVal.getAsRegion();  in InitLockAux()