Lines Matching defs:mu3_
3919 Mutex mu3_;
3922 int c GUARDED_BY(mu3_);
3929 void lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
3933 EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
3936 void unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
3940 UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
3955 void Foo::lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_) {
3958 mu3_.Lock();
3963 EXCLUSIVE_LOCK_FUNCTION(mu2_, mu3_) {
3966 mu3_.Lock();
3973 void Foo::unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_) {
3976 mu3_.Unlock();
3981 UNLOCK_FUNCTION(mu2_, mu3_) {
3984 mu3_.Unlock();
4041 // expected-warning {{acquiring mutex 'foo.mu3_' that is already held}}
4049 // expected-warning {{releasing mutex 'foo.mu3_' that was not held}}
4065 // expected-warning {{acquiring mutex 'foo.mu3_' that is already held}}
4073 // expected-warning {{releasing mutex 'foo.mu3_' that was not held}}