Searched refs:mu1_ (Results 1 – 1 of 1) sorted by relevance
477 int a_ __attribute__((guarded_by(mu1_)));480 Mutex mu1_; member in LateBar516 b1.mu1_.Lock(); in late_bad_1()520 b1.mu1_.Unlock(); in late_bad_1()786 static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);787 static int b_ GUARDED_BY(mu1_);788 static Mutex mu1_; member in thread_annot_lock_20::Bar789 static int a_ GUARDED_BY(mu1_);811 int a_ GUARDED_BY(mu1_);814 Mutex mu1_ ACQUIRED_AFTER(mu);[all …]