Lines Matching refs:ACQUIRED_AFTER
12 #define ACQUIRED_AFTER(...) __attribute__((acquired_after(__VA_ARGS__)))
143 Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));
903 Mutex mu1_ ACQUIRED_AFTER(mu);
931 Mutex mu2 ACQUIRED_AFTER(mu1);
1022 Mutex bar_mu_ ACQUIRED_AFTER(foo->foo_mu_);
1239 Mutex mu_ ACQUIRED_AFTER(mu1);
1321 Mutex mu1_ ACQUIRED_AFTER(mu);
4907 Mutex mu2 ACQUIRED_AFTER(mu1);
4908 Mutex mu3 ACQUIRED_AFTER(mu1);
4939 Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4983 Mutex mu2 ACQUIRED_AFTER(mu1);
4984 Mutex mu3 ACQUIRED_AFTER(mu1);
4985 Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
4986 Mutex mu5 ACQUIRED_AFTER(mu4);
4987 Mutex mu6 ACQUIRED_AFTER(mu4);
4988 Mutex mu7 ACQUIRED_AFTER(mu5, mu6);
4989 Mutex mu8 ACQUIRED_AFTER(mu7);
5021 Mutex mu1 ACQUIRED_AFTER(mu3); // expected-warning {{Cycle in acquired_before/after dependencies, starting with 'mu1'}}
5022 Mutex mu2 ACQUIRED_AFTER(mu1); // expected-warning {{Cycle in acquired_before/after dependencies, starting with 'mu2'}}
5023 Mutex mu3 ACQUIRED_AFTER(mu2); // expected-warning {{Cycle in acquired_before/after dependencies, starting with 'mu3'}}
5026 Mutex mu_a ACQUIRED_AFTER(mu_a); // expected-warning {{Cycle in acquired_before/after dependencies, starting with 'mu_a'}}
5151 Mutex mu2 ACQUIRED_AFTER(mu1);
