Lines Matching refs:ACQUIRED_BEFORE

13 #define ACQUIRED_BEFORE(...) __attribute__((acquired_before(__VA_ARGS__)))  macro
4857   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
4937   Mutex mu1 ACQUIRED_BEFORE(mu2);
4939   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
5002   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
5003   Mutex mu2 ACQUIRED_BEFORE(mu4);
5004   Mutex mu3 ACQUIRED_BEFORE(mu4);
5005   Mutex mu4 ACQUIRED_BEFORE(mu5, mu6);
5006   Mutex mu5 ACQUIRED_BEFORE(mu7);
5007   Mutex mu6 ACQUIRED_BEFORE(mu7);
5008   Mutex mu7 ACQUIRED_BEFORE(mu8);
5025 …Mutex mu_b ACQUIRED_BEFORE(mu_b);  // expected-warning {{Cycle in acquired_before/after dependenci…
5174 MutexUnion muun1 ACQUIRED_BEFORE(muun2);
5190   Mutex lock_ ACQUIRED_BEFORE("");