31   struct Mutex *mu_;  member
45 int a_ GUARDED_BY(foo_.mu_);
46 int *b_ PT_GUARDED_BY(foo_.mu_) = &a_;
67 void set_value(int *a, int value) EXCLUSIVE_LOCKS_REQUIRED(foo_.mu_) {  in set_value()
71 int get_value(int *p) SHARED_LOCKS_REQUIRED(foo_.mu_){  in get_value()
105   mutex_exclusive_lock(foo_.mu_);  in main()
107   mutex_unlock(foo_.mu_);  in main()
108   mutex_shared_lock(foo_.mu_);  in main()
110   mutex_unlock(foo_.mu_);  in main()
114   mutex_exclusive_lock(foo_.mu_);  in main()
117   mutex_unlock(foo_.mu_);  in main()