Lines Matching refs:mu1
887 Mutex mu1;
888 Mutex mu2 ACQUIRED_AFTER(mu1);
892 int method1(int i) SHARED_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1);
900 int foo(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2) SHARED_LOCKS_REQUIRED(mu1);
905 static int bar(int i) EXCLUSIVE_LOCKS_REQUIRED(mu1);
913 mu1.Lock();
919 mu1.Unlock();
1050 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2);
1051 int data GUARDED_BY(mu1);
1052 Mutex *mu1;
1066 a.mu1->Lock();
1070 a.mu1->Unlock();
1182 Mutex mu1;
1185 int g GUARDED_BY(mu1);
1190 void bar() LOCKS_EXCLUDED(mu_, mu1);
1196 Mutex mu_ ACQUIRED_AFTER(mu1);
1215 mu1.Lock();
1217 mu1.Unlock();
1390 Mutex mu1, mu2, mu3;
1391 int x GUARDED_BY(mu1) GUARDED_BY(mu2);
1394 void f2() LOCKS_EXCLUDED(mu1) LOCKS_EXCLUDED(mu2) LOCKS_EXCLUDED(mu3) {
1401 void f1() EXCLUSIVE_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1) {
1403 f2(); // expected-warning {{cannot call function 'f2' while mutex 'mu1' is locked}} \
1413 // expected-warning {{calling function 'f1' requires exclusive lock on 'foo->mu1'}}
1457 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
1458 int data GUARDED_BY(mu1);
1459 Mutex *mu1;
1470 a.method1(1); // expected-warning {{calling function 'method1' requires shared lock on 'a.mu1'}} \
1595 Mutex mu1;
1597 int a __attribute__((guarded_by(mu1)));
1603 MutexLock mulock(&mu1);
1608 ReaderMutexLock mulock1(&mu1);
1620 MutexLock mulock_a(&mu1);
1621 MutexLock mulock_b(&mu1); // \
1622 // expected-warning {{locking 'mu1' that is already locked}}
1626 MutexLock mulock1(&mu1), mulock2(&mu2);
