Lines Matching defs:mu1
63 Mutex mu1;
70 Mutex& muRef = mu1;
308 int gb_var_arg GUARDED_BY(mu1);
312 int gb_var_args __attribute__((guarded_by(mu1, mu2))); // \
322 int gb_field_args GUARDED_BY(mu1);
325 class GUARDED_BY(mu1) GB { // \
329 void gb_function() GUARDED_BY(mu1); // \
332 void gb_function_params(int gv_lvar GUARDED_BY(mu1)); // \
336 int x GUARDED_BY(mu1) = y; // \
348 int gb_var_arg_5 GUARDED_BY(&mu1);
381 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
383 int *pgb_ptr_var_args __attribute__((pt_guarded_by(mu1, mu2))); // \
386 int pgb_var_args PT_GUARDED_BY(mu1); // \
393 int *pgb_field_args PT_GUARDED_BY(mu1);
396 class PT_GUARDED_BY(mu1) PGB { // \
400 void pgb_function() PT_GUARDED_BY(mu1); // \
403 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
407 int *x PT_GUARDED_BY(mu1) = new int(0); // \
419 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);
446 Mutex mu_aa ACQUIRED_AFTER(mu1);
455 Mutex aa_field_args ACQUIRED_AFTER(mu1);
458 class ACQUIRED_AFTER(mu1) AA { // \
462 void aa_function() ACQUIRED_AFTER(mu1); // \
465 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
469 Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \
480 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
506 Mutex mu_ab ACQUIRED_BEFORE(mu1);
515 Mutex ab_field_args ACQUIRED_BEFORE(mu1);
518 class ACQUIRED_BEFORE(mu1) AB { // \
522 void ab_function() ACQUIRED_BEFORE(mu1); // \
525 void ab_function_params(int gv_lvar ACQUIRED_BEFORE(mu1)); // \
529 Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \
533 // Note: illegal int ab_int ACQUIRED_BEFORE(mu1) will
543 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);
574 void elf_function_args() EXCLUSIVE_LOCK_FUNCTION(mu1, mu2);
608 int elf_function_5() EXCLUSIVE_LOCK_FUNCTION(&mu1);
646 void slf_function_args() SHARED_LOCK_FUNCTION(mu1, mu2);
680 int slf_function_5() SHARED_LOCK_FUNCTION(&mu1);
756 int etf_function_5() EXCLUSIVE_TRYLOCK_FUNCTION(1, &mu1);
764 int etf_function_bad_1() EXCLUSIVE_TRYLOCK_FUNCTION(mu1); // \
830 int stf_function_5() SHARED_TRYLOCK_FUNCTION(1, &mu1);
838 int stf_function_bad_1() SHARED_TRYLOCK_FUNCTION(mu1); // \
865 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
899 int uf_function_5() UNLOCK_FUNCTION(&mu1);
938 void lr_function_arg() LOCK_RETURNED(mu1);
940 void lr_function_args() __attribute__((lock_returned(mu1, mu2))); // \
943 int lr_testfn(int y) LOCK_RETURNED(mu1);
946 int x LOCK_RETURNED(mu1) = y; // \
951 int lr_test_var LOCK_RETURNED(mu1); // \
954 void lr_fun_params(int lvar LOCK_RETURNED(mu1)); // \
959 int test_field LOCK_RETURNED(mu1); // \
961 void test_method() LOCK_RETURNED(mu1);
964 class LOCK_RETURNED(mu1) LrTestClass { // \
975 int lr_function_5() LOCK_RETURNED(&mu1);
1006 void le_function_arg() LOCKS_EXCLUDED(mu1);
1008 void le_function_args() LOCKS_EXCLUDED(mu1, mu2);
1010 int le_testfn(int y) LOCKS_EXCLUDED(mu1);
1013 int x LOCKS_EXCLUDED(mu1) = y; // \
1018 int le_test_var LOCKS_EXCLUDED(mu1); // \
1021 void le_fun_params(int lvar LOCKS_EXCLUDED(mu1)); // \
1026 int test_field LOCKS_EXCLUDED(mu1); // \
1028 void test_method() LOCKS_EXCLUDED(mu1);
1031 class LOCKS_EXCLUDED(mu1) LeTestClass { // \
1042 int le_function_5() LOCKS_EXCLUDED(&mu1);
1073 void elr_function_arg() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1075 void elr_function_args() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2);
1077 int elr_testfn(int y) EXCLUSIVE_LOCKS_REQUIRED(mu1);
1080 int x EXCLUSIVE_LOCKS_REQUIRED(mu1) = y; // \
1085 int elr_test_var EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1088 void elr_fun_params(int lvar EXCLUSIVE_LOCKS_REQUIRED(mu1)); // \
1093 int test_field EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1095 void test_method() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1098 class EXCLUSIVE_LOCKS_REQUIRED(mu1) ElrTestClass { // \
1109 int elr_function_5() EXCLUSIVE_LOCKS_REQUIRED(&mu1);
1141 void slr_function_arg() SHARED_LOCKS_REQUIRED(mu1);
1143 void slr_function_args() SHARED_LOCKS_REQUIRED(mu1, mu2);
1145 int slr_testfn(int y) SHARED_LOCKS_REQUIRED(mu1);
1148 int x SHARED_LOCKS_REQUIRED(mu1) = y; // \
1153 int slr_test_var SHARED_LOCKS_REQUIRED(mu1); // \
1156 void slr_fun_params(int lvar SHARED_LOCKS_REQUIRED(mu1)); // \
1161 int test_field SHARED_LOCKS_REQUIRED(mu1); // \
1163 void test_method() SHARED_LOCKS_REQUIRED(mu1);
1166 class SHARED_LOCKS_REQUIRED(mu1) SlrTestClass { // \
1177 int slr_function_5() SHARED_LOCKS_REQUIRED(&mu1);
