Lines Matching defs:mu1

71 Mutex mu1;
78 Mutex& muRef = mu1;
316 int gb_var_arg GUARDED_BY(mu1);
320 int gb_var_args __attribute__((guarded_by(mu1, mu2))); // \
330   int gb_field_args GUARDED_BY(mu1);
333 class GUARDED_BY(mu1) GB { // \
337 void gb_function() GUARDED_BY(mu1); // \
340 void gb_function_params(int gv_lvar GUARDED_BY(mu1)); // \
344   int x GUARDED_BY(mu1) = y; // \
356 int gb_var_arg_5 GUARDED_BY(&mu1);
360 int gb_var_arg_9 GUARDED_BY(!&mu1);
361 int gb_var_arg_10 GUARDED_BY(!&*&mu1);
390 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
392 int *pgb_ptr_var_args __attribute__((pt_guarded_by(mu1, mu2))); // \
395 int pgb_var_args PT_GUARDED_BY(mu1); // \
402   int *pgb_field_args PT_GUARDED_BY(mu1);
405 class PT_GUARDED_BY(mu1) PGB { // \
409 void pgb_function() PT_GUARDED_BY(mu1); // \
412 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
416   int *x PT_GUARDED_BY(mu1) = new int(0); // \
428 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);
455 Mutex mu_aa ACQUIRED_AFTER(mu1);
464   Mutex aa_field_args ACQUIRED_AFTER(mu1);
467 class ACQUIRED_AFTER(mu1) AA { // \
471 void aa_function() ACQUIRED_AFTER(mu1); // \
474 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
478   Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \
489 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
515 Mutex mu_ab ACQUIRED_BEFORE(mu1);
524   Mutex ab_field_args ACQUIRED_BEFORE(mu1);
527 class ACQUIRED_BEFORE(mu1) AB { // \
531 void ab_function() ACQUIRED_BEFORE(mu1); // \
534 void ab_function_params(int gv_lvar ACQUIRED_BEFORE(mu1)); // \
538   Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \
542 // Note: illegal int ab_int ACQUIRED_BEFORE(mu1) will
552 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);
583 void elf_function_args() EXCLUSIVE_LOCK_FUNCTION(mu1, mu2);
608 void elf_fun_params1(MutexLock& scope EXCLUSIVE_LOCK_FUNCTION(mu1));
609 void elf_fun_params2(int lvar EXCLUSIVE_LOCK_FUNCTION(mu1)); // \
621 int elf_function_5() EXCLUSIVE_LOCK_FUNCTION(&mu1);
659 void slf_function_args() SHARED_LOCK_FUNCTION(mu1, mu2);
672 void slf_fun_params1(MutexLock& scope SHARED_LOCK_FUNCTION(mu1));
673 void slf_fun_params2(int lvar SHARED_LOCK_FUNCTION(mu1)); // \
697 int slf_function_5() SHARED_LOCK_FUNCTION(&mu1);
776 int etf_function_5() EXCLUSIVE_TRYLOCK_FUNCTION(1, &mu1);
785 int etf_function_bad_1() EXCLUSIVE_TRYLOCK_FUNCTION(mu1); // \
854 int stf_function_5() SHARED_TRYLOCK_FUNCTION(1, &mu1);
863 int stf_function_bad_1() SHARED_TRYLOCK_FUNCTION(mu1); // \
892 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
918 void uf_fun_params1(MutexLock& scope UNLOCK_FUNCTION(mu1));
919 void uf_fun_params2(int lvar UNLOCK_FUNCTION(mu1)); // \
931 int uf_function_5() UNLOCK_FUNCTION(&mu1);
970 void lr_function_arg() LOCK_RETURNED(mu1);
972 void lr_function_args() __attribute__((lock_returned(mu1, mu2))); // \
975 int lr_testfn(int y) LOCK_RETURNED(mu1);
978   int x LOCK_RETURNED(mu1) = y; // \
983 int lr_test_var LOCK_RETURNED(mu1); // \
986 void lr_fun_params(int lvar LOCK_RETURNED(mu1)); // \
991   int test_field LOCK_RETURNED(mu1); // \
993   void test_method() LOCK_RETURNED(mu1);
996 class LOCK_RETURNED(mu1) LrTestClass { // \
1007 int lr_function_5() LOCK_RETURNED(&mu1);
1038 void le_function_arg() LOCKS_EXCLUDED(mu1);
1040 void le_function_args() LOCKS_EXCLUDED(mu1, mu2);
1042 int le_testfn(int y) LOCKS_EXCLUDED(mu1);
1045   int x LOCKS_EXCLUDED(mu1) = y; // \
1050 int le_test_var LOCKS_EXCLUDED(mu1); // \
1053 void le_fun_params1(MutexLock& scope LOCKS_EXCLUDED(mu1));
1054 void le_fun_params2(int lvar LOCKS_EXCLUDED(mu1)); // \
1059   int test_field LOCKS_EXCLUDED(mu1); // \
1061   void test_method() LOCKS_EXCLUDED(mu1);
1064 class LOCKS_EXCLUDED(mu1) LeTestClass { // \
1075 int le_function_5() LOCKS_EXCLUDED(&mu1);
1106 void elr_function_arg() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1108 void elr_function_args() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2);
1110 int elr_testfn(int y) EXCLUSIVE_LOCKS_REQUIRED(mu1);
1113   int x EXCLUSIVE_LOCKS_REQUIRED(mu1) = y; // \
1118 int elr_test_var EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1121 void elr_fun_params1(MutexLock& scope EXCLUSIVE_LOCKS_REQUIRED(mu1));
1122 void elr_fun_params2(int lvar EXCLUSIVE_LOCKS_REQUIRED(mu1)); // \
1127   int test_field EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1129   void test_method() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1132 class EXCLUSIVE_LOCKS_REQUIRED(mu1) ElrTestClass { // \
1143 int elr_function_5() EXCLUSIVE_LOCKS_REQUIRED(&mu1);
1175 void slr_function_arg() SHARED_LOCKS_REQUIRED(mu1);
1177 void slr_function_args() SHARED_LOCKS_REQUIRED(mu1, mu2);
1179 int slr_testfn(int y) SHARED_LOCKS_REQUIRED(mu1);
1182   int x SHARED_LOCKS_REQUIRED(mu1) = y; // \
1187 int slr_test_var SHARED_LOCKS_REQUIRED(mu1); // \
1190 void slr_fun_params1(MutexLock& scope SHARED_LOCKS_REQUIRED(mu1));
1191 void slr_fun_params2(int lvar SHARED_LOCKS_REQUIRED(mu1)); // \
1196   int test_field SHARED_LOCKS_REQUIRED(mu1); // \
1198   void test_method() SHARED_LOCKS_REQUIRED(mu1);
1201 class SHARED_LOCKS_REQUIRED(mu1) SlrTestClass { // \
1212 int slr_function_5() SHARED_LOCKS_REQUIRED(&mu1);