Lines Matching defs:mu1

53 Mutex mu1;
60 Mutex& muRef = mu1;
298 int gb_var_arg GUARDED_BY(mu1);
300 int gb_var_args __attribute__((guarded_by(mu1, mu2))); // \
310 int gb_field_args GUARDED_BY(mu1);
313 class GUARDED_BY(mu1) GB { // \
317 void gb_function() GUARDED_BY(mu1); // \
320 void gb_function_params(int gv_lvar GUARDED_BY(mu1)); // \
324 int x GUARDED_BY(mu1) = y; // \
336 int gb_var_arg_5 GUARDED_BY(&mu1);
369 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
371 int *pgb_ptr_var_args __attribute__((pt_guarded_by(mu1, mu2))); // \
374 int pgb_var_args PT_GUARDED_BY(mu1); // \
381 int *pgb_field_args PT_GUARDED_BY(mu1);
384 class PT_GUARDED_BY(mu1) PGB { // \
388 void pgb_function() PT_GUARDED_BY(mu1); // \
391 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
395 int *x PT_GUARDED_BY(mu1) = new int(0); // \
407 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);
434 Mutex mu_aa ACQUIRED_AFTER(mu1);
443 Mutex aa_field_args ACQUIRED_AFTER(mu1);
446 class ACQUIRED_AFTER(mu1) AA { // \
450 void aa_function() ACQUIRED_AFTER(mu1); // \
453 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
457 Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \
468 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
494 Mutex mu_ab ACQUIRED_BEFORE(mu1);
503 Mutex ab_field_args ACQUIRED_BEFORE(mu1);
506 class ACQUIRED_BEFORE(mu1) AB { // \
510 void ab_function() ACQUIRED_BEFORE(mu1); // \
513 void ab_function_params(int gv_lvar ACQUIRED_BEFORE(mu1)); // \
517 Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \
521 // Note: illegal int ab_int ACQUIRED_BEFORE(mu1) will
531 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);
562 void elf_function_args() EXCLUSIVE_LOCK_FUNCTION(mu1, mu2);
596 int elf_function_5() EXCLUSIVE_LOCK_FUNCTION(&mu1);
634 void slf_function_args() SHARED_LOCK_FUNCTION(mu1, mu2);
668 int slf_function_5() SHARED_LOCK_FUNCTION(&mu1);
744 int etf_function_5() EXCLUSIVE_TRYLOCK_FUNCTION(1, &mu1);
752 int etf_function_bad_1() EXCLUSIVE_TRYLOCK_FUNCTION(mu1); // \
818 int stf_function_5() SHARED_TRYLOCK_FUNCTION(1, &mu1);
826 int stf_function_bad_1() SHARED_TRYLOCK_FUNCTION(mu1); // \
853 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
887 int uf_function_5() UNLOCK_FUNCTION(&mu1);
926 void lr_function_arg() LOCK_RETURNED(mu1);
928 void lr_function_args() __attribute__((lock_returned(mu1, mu2))); // \
931 int lr_testfn(int y) LOCK_RETURNED(mu1);
934 int x LOCK_RETURNED(mu1) = y; // \
939 int lr_test_var LOCK_RETURNED(mu1); // \
942 void lr_fun_params(int lvar LOCK_RETURNED(mu1)); // \
947 int test_field LOCK_RETURNED(mu1); // \
949 void test_method() LOCK_RETURNED(mu1);
952 class LOCK_RETURNED(mu1) LrTestClass { // \
963 int lr_function_5() LOCK_RETURNED(&mu1);
994 void le_function_arg() LOCKS_EXCLUDED(mu1);
996 void le_function_args() LOCKS_EXCLUDED(mu1, mu2);
998 int le_testfn(int y) LOCKS_EXCLUDED(mu1);
1001 int x LOCKS_EXCLUDED(mu1) = y; // \
1006 int le_test_var LOCKS_EXCLUDED(mu1); // \
1009 void le_fun_params(int lvar LOCKS_EXCLUDED(mu1)); // \
1014 int test_field LOCKS_EXCLUDED(mu1); // \
1016 void test_method() LOCKS_EXCLUDED(mu1);
1019 class LOCKS_EXCLUDED(mu1) LeTestClass { // \
1030 int le_function_5() LOCKS_EXCLUDED(&mu1);
1061 void elr_function_arg() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1063 void elr_function_args() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2);
1065 int elr_testfn(int y) EXCLUSIVE_LOCKS_REQUIRED(mu1);
1068 int x EXCLUSIVE_LOCKS_REQUIRED(mu1) = y; // \
1073 int elr_test_var EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1076 void elr_fun_params(int lvar EXCLUSIVE_LOCKS_REQUIRED(mu1)); // \
1081 int test_field EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1083 void test_method() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1086 class EXCLUSIVE_LOCKS_REQUIRED(mu1) ElrTestClass { // \
1097 int elr_function_5() EXCLUSIVE_LOCKS_REQUIRED(&mu1);
1129 void slr_function_arg() SHARED_LOCKS_REQUIRED(mu1);
1131 void slr_function_args() SHARED_LOCKS_REQUIRED(mu1, mu2);
1133 int slr_testfn(int y) SHARED_LOCKS_REQUIRED(mu1);
1136 int x SHARED_LOCKS_REQUIRED(mu1) = y; // \
1141 int slr_test_var SHARED_LOCKS_REQUIRED(mu1); // \
1144 void slr_fun_params(int lvar SHARED_LOCKS_REQUIRED(mu1)); // \
1149 int test_field SHARED_LOCKS_REQUIRED(mu1); // \
1151 void test_method() SHARED_LOCKS_REQUIRED(mu1);
1154 class SHARED_LOCKS_REQUIRED(mu1) SlrTestClass { // \
1165 int slr_function_5() SHARED_LOCKS_REQUIRED(&mu1);