Lines Matching refs:ACQUIRED_AFTER

934   Mutex mu1_ ACQUIRED_AFTER(mu);
962 Mutex mu2 ACQUIRED_AFTER(mu1);
1053   Mutex bar_mu_ ACQUIRED_AFTER(foo->foo_mu_);
1270   Mutex mu_ ACQUIRED_AFTER(mu1);
1352   Mutex mu1_ ACQUIRED_AFTER(mu);
5332   Mutex mu2 ACQUIRED_AFTER(mu1);
5333   Mutex mu3 ACQUIRED_AFTER(mu1);
5364   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
5408   Mutex mu2 ACQUIRED_AFTER(mu1);
5409   Mutex mu3 ACQUIRED_AFTER(mu1);
5410   Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
5411   Mutex mu5 ACQUIRED_AFTER(mu4);
5412   Mutex mu6 ACQUIRED_AFTER(mu4);
5413   Mutex mu7 ACQUIRED_AFTER(mu5, mu6);
5414   Mutex mu8 ACQUIRED_AFTER(mu7);
5446 …Mutex mu1 ACQUIRED_AFTER(mu3);     // expected-warning {{Cycle in acquired_before/after dependenci…
5447 …Mutex mu2 ACQUIRED_AFTER(mu1);     // expected-warning {{Cycle in acquired_before/after dependenci…
5448 …Mutex mu3 ACQUIRED_AFTER(mu2);     // expected-warning {{Cycle in acquired_before/after dependenci…
5451 …Mutex mu_a ACQUIRED_AFTER(mu_a);   // expected-warning {{Cycle in acquired_before/after dependenci…
5576 Mutex mu2 ACQUIRED_AFTER(mu1);