Searched refs:ACQUIRED_AFTER (Results 1 – 8 of 8) sorted by relevance
9 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__))) macro88 Mutex barmu2 ACQUIRED_AFTER(barmu);446 Mutex mu_aa ACQUIRED_AFTER(mu1);455 Mutex aa_field_args ACQUIRED_AFTER(mu1);458 class ACQUIRED_AFTER(mu1) AA { // \ in ACQUIRED_AFTER() function462 void aa_function() ACQUIRED_AFTER(mu1); // \465 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \469 Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \ in aa_testfn() local476 Mutex aa_var_arg_1 ACQUIRED_AFTER(muWrapper.mu); variable477 Mutex aa_var_arg_2 ACQUIRED_AFTER(muDoubleWrapper.muWrapper->mu); variable[all …]
12 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__))) macro861 Mutex mu1_ ACQUIRED_AFTER(mu);889 Mutex mu2 ACQUIRED_AFTER(mu1);980 Mutex bar_mu_ ACQUIRED_AFTER(foo->foo_mu_);1197 Mutex mu_ ACQUIRED_AFTER(mu1);1279 Mutex mu1_ ACQUIRED_AFTER(mu);
9 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__))) macro43 struct Mutex mu2 ACQUIRED_AFTER(mu1);
52 #define ACQUIRED_AFTER(x) THREAD_ANNOTATION_ATTRIBUTE__(acquired_after(x)) macro
84 #define ACQUIRED_AFTER(x) \ macro
17 #define ACQUIRED_AFTER(...) __attribute__ ((acquired_after(__VA_ARGS__))) macro
337 ACQUIRED_BEFORE(...), ACQUIRED_AFTER(...)340 ``ACQUIRED_BEFORE`` and ``ACQUIRED_AFTER`` are attributes on member348 Mutex m2 ACQUIRED_AFTER(m1);676 ACQUIRED_BEFORE(...) and ACQUIRED_AFTER(...) are currently unimplemented.721 #define ACQUIRED_AFTER(...) \