Lines Matching refs:ACQUIRED_BEFORE

5282   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
5362   Mutex mu1 ACQUIRED_BEFORE(mu2);
5364   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
5427   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
5428   Mutex mu2 ACQUIRED_BEFORE(mu4);
5429   Mutex mu3 ACQUIRED_BEFORE(mu4);
5430   Mutex mu4 ACQUIRED_BEFORE(mu5, mu6);
5431   Mutex mu5 ACQUIRED_BEFORE(mu7);
5432   Mutex mu6 ACQUIRED_BEFORE(mu7);
5433   Mutex mu7 ACQUIRED_BEFORE(mu8);
5450 …Mutex mu_b ACQUIRED_BEFORE(mu_b);  // expected-warning {{Cycle in acquired_before/after dependenci…
5614 MutexUnion muun1 ACQUIRED_BEFORE(muun2);
5630   Mutex lock_ ACQUIRED_BEFORE("");