Lines Matching defs:MtxVal

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,
433   const MemRegion *lockR = MtxVal.getAsRegion();
506                                         SVal MtxVal,
511   const MemRegion *lockR = MtxVal.getAsRegion();
566                                         SVal MtxVal,
572   const MemRegion *LockR = MtxVal.getAsRegion();
624                                      const Expr *MtxExpr, SVal MtxVal,
629   const MemRegion *LockR = MtxVal.getAsRegion();