10 #define ACQUIRED_BEFORE(...) __attribute__ ((acquired_before(__VA_ARGS__)))  macro
518 class ACQUIRED_BEFORE(mu1) AB { // \  in ACQUIRED_BEFORE()  function
529   Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \  in ab_testfn()  local
539 Mutex ab_var_arg_1 ACQUIRED_BEFORE(muWrapper.mu);  variable
540 Mutex ab_var_arg_2 ACQUIRED_BEFORE(muDoubleWrapper.muWrapper->mu);  variable
541 Mutex ab_var_arg_3 ACQUIRED_BEFORE(muWrapper.getMu());  variable
542 Mutex ab_var_arg_4 ACQUIRED_BEFORE(*muWrapper.getMuPointer());  variable
543 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);  variable
545 Mutex ab_var_arg_7 ACQUIRED_BEFORE(muDoubleWrapper.getWrapper()->getMu());  variable
550 Mutex ab_var_arg_bad_1 ACQUIRED_BEFORE(1); // \  variable
552 Mutex ab_var_arg_bad_2 ACQUIRED_BEFORE("mu"); // \  variable