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,
397                                         SVal MtxVal, bool IsTryLock,  in AcquireLockAux()  argument
403   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()
476                                         SVal MtxVal,  in ReleaseLockAux()  argument
481   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()
536                                         SVal MtxVal,  in DestroyLockAux()  argument
542   const MemRegion *LockR = MtxVal.getAsRegion();  in DestroyLockAux()
594                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
599   const MemRegion *LockR = MtxVal.getAsRegion();  in InitLockAux()