Lines Matching refs:mu2
43 struct Mutex mu2 ACQUIRED_AFTER(mu1);
51 int Foo_fun1(int i) SHARED_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1) {
55 int Foo_fun2(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2) SHARED_LOCKS_REQUIRED(mu1) {
59 int Foo_func3(int i) LOCKS_EXCLUDED(mu1, mu2) {
77 Foo_fun1(1); // expected-warning{{calling function 'Foo_fun1' requires holding mutex 'mu2'}} \
81 mutex_shared_lock(&mu2);
85 expected-warning{{mutex 'mu1' must be acquired before 'mu2'}}
87 mutex_unlock(&mu2);
89 mutex_exclusive_lock(&mu2);
92 mutex_unlock(&mu2);
