178                    const Expr *MtxExpr, SVal MtxVal,
195                       const Expr *MtxExpr, SVal MtxVal, bool IsTryLock,
202                       const Expr *MtxExpr, SVal MtxVal,
211                       const Expr *MtxExpr, SVal MtxVal,
396                                         SVal MtxVal, bool IsTryLock,  in AcquireLockAux()  argument
402   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()
475                                         SVal MtxVal,  in ReleaseLockAux()  argument
480   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()
535                                         SVal MtxVal,  in DestroyLockAux()  argument
541   const MemRegion *LockR = MtxVal.getAsRegion();  in DestroyLockAux()
593                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
598   const MemRegion *LockR = MtxVal.getAsRegion();  in InitLockAux()