Lines Matching refs:mu3_
2833 Mutex mu3_;
2836 int c GUARDED_BY(mu3_);
2843 void lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
2847 EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
2850 void unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
2854 UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
2869 void Foo::lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_) {
2872 mu3_.Lock();
2877 EXCLUSIVE_LOCK_FUNCTION(mu2_, mu3_) {
2880 mu3_.Lock();
2887 void Foo::unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_) {
2890 mu3_.Unlock();
2895 UNLOCK_FUNCTION(mu2_, mu3_) {
2898 mu3_.Unlock();
2955 // expected-warning {{locking 'foo.mu3_
2963 // expected-warning {{unlocking 'foo.mu3_' that was not locked}}
2979 // expected-warning {{locking 'foo.mu3_' that is already locked}}
2987 // expected-warning {{unlocking 'foo.mu3_' that was not locked}}
