562   int a_ __attribute__((guarded_by(mu1_)));
565   Mutex mu1_;  member in LateBar
602   b1.mu1_.Lock();  in late_bad_1()
606   b1.mu1_.Unlock();  in late_bad_1()
875   static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);
876   static int b_ GUARDED_BY(mu1_);
877   static Mutex mu1_;  member in thread_annot_lock_20::Bar
878   static int a_ GUARDED_BY(mu1_);
900   int a_ GUARDED_BY(mu1_);
903   Mutex mu1_ ACQUIRED_AFTER(mu);
914   b1.mu1_.Lock();  in func()
919   b1.mu1_.Unlock();  in func()
1288   bool MyLock() EXCLUSIVE_LOCK_FUNCTION(mu1_);
1289   void MyUnlock() UNLOCK_FUNCTION(mu1_);
1290   int a_ GUARDED_BY(mu1_);
1293   Mutex mu1_;  member in thread_annot_lock_18_modified::Bar
1318   int a_ GUARDED_BY(mu1_);
1321   Mutex mu1_ ACQUIRED_AFTER(mu);
1332   b3->mu1_.Lock();  in func()
1342   b3->mu1_.Unlock();  in func()
2562   Mutex mu1_;  member in TrylockFunctionTest::Foo
2566   bool lockBoth() EXCLUSIVE_TRYLOCK_FUNCTION(true, mu1_, mu2_);
2570   if (!mu1_.TryLock())  in lockBoth()
2575     mu1_.Unlock();  in lockBoth()
2889   Mutex mu1_;  member in DuplicateAttributeTest::Foo
2892   int a GUARDED_BY(mu1_);
2899   void lock1()  EXCLUSIVE_LOCK_FUNCTION(mu1_);
2900   void slock1() SHARED_LOCK_FUNCTION(mu1_);
2901   void lock3()  EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
2903     EXCLUSIVE_LOCK_FUNCTION(mu1_)
2905     EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
2907   void unlock1() UNLOCK_FUNCTION(mu1_);
2908   void unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
2910     UNLOCK_FUNCTION(mu1_)
2912     UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
2919 void Foo::lock1()  EXCLUSIVE_LOCK_FUNCTION(mu1_) {  in lock1()
2920   mu1_.Lock();  in lock1()
2923 void Foo::slock1() SHARED_LOCK_FUNCTION(mu1_) {  in slock1()
2924   mu1_.ReaderLock();  in slock1()
2927 void Foo::lock3()  EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_) {  in lock3()
2928   mu1_.Lock();  in lock3()
2934     EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_)  in locklots()
2936   mu1_.Lock();  in locklots()
2941 void Foo::unlock1() UNLOCK_FUNCTION(mu1_) {  in unlock1()
2942   mu1_.Unlock();  in unlock1()
2945 void Foo::unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_) {  in unlock3()
2946   mu1_.Unlock();  in unlock3()
2952     UNLOCK_FUNCTION(mu1_, mu2_)  in unlocklots()
2954   mu1_.Unlock();  in unlocklots()
3653   Mutex mu1_;  member in MultipleAttributeTest::Foo
3655   int  a GUARDED_BY(mu1_);
3657   int  c GUARDED_BY(mu1_)    GUARDED_BY(mu2_);
3658   int* d PT_GUARDED_BY(mu1_) PT_GUARDED_BY(mu2_);
3660   void foo1()          EXCLUSIVE_LOCKS_REQUIRED(mu1_)
3662   void foo2()          SHARED_LOCKS_REQUIRED(mu1_)
3664   void foo3()          LOCKS_EXCLUDED(mu1_)
3666   void lock()          EXCLUSIVE_LOCK_FUNCTION(mu1_)
3668   void readerlock()    SHARED_LOCK_FUNCTION(mu1_)
3670   void unlock()        UNLOCK_FUNCTION(mu1_)
3672   bool trylock()       EXCLUSIVE_TRYLOCK_FUNCTION(true, mu1_)
3674   bool readertrylock() SHARED_TRYLOCK_FUNCTION(true, mu1_)
3676   void assertBoth() ASSERT_EXCLUSIVE_LOCK(mu1_)
3678   void assertShared() ASSERT_SHARED_LOCK(mu1_)
3697 void Foo::lock() { mu1_.Lock();  mu2_.Lock(); }  in lock()
3698 void Foo::readerlock() { mu1_.ReaderLock();  mu2_.ReaderLock(); }  in readerlock()
3699 void Foo::unlock() { mu1_.Unlock();  mu2_.Unlock(); }  in unlock()
3705   mu1_.Lock();  in test()
3709   mu1_.Unlock();  in test()
3711   mu1_.ReaderLock();  in test()
3715   mu1_.Unlock();  in test()