212                    const Expr *MtxExpr, SVal MtxVal,
229                       const Expr *MtxExpr, SVal MtxVal, bool IsTryLock,
236                       const Expr *MtxExpr, SVal MtxVal,
245                       const Expr *MtxExpr, SVal MtxVal,
427                                         SVal MtxVal, bool IsTryLock,  in AcquireLockAux()  argument
433   const MemRegion *lockR = MtxVal.getAsRegion();  in AcquireLockAux()
506                                         SVal MtxVal,  in ReleaseLockAux()  argument
511   const MemRegion *lockR = MtxVal.getAsRegion();  in ReleaseLockAux()
566                                         SVal MtxVal,  in DestroyLockAux()  argument
572   const MemRegion *LockR = MtxVal.getAsRegion();  in DestroyLockAux()
624                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
629   const MemRegion *LockR = MtxVal.getAsRegion();  in InitLockAux()