Lines Matching refs:mu1
63 Mutex mu1;
70 Mutex& muRef = mu1;
308 int gb_var_arg GUARDED_BY(mu1);
310 int gb_var_args __attribute__((guarded_by(mu1, mu2))); // \
320 int gb_field_args GUARDED_BY(mu1);
323 class GUARDED_BY(mu1) GB { // \
327 void gb_function() GUARDED_BY(mu1); // \
330 void gb_function_params(int gv_lvar GUARDED_BY(mu1)); // \
334 int x GUARDED_BY(mu1) = y; // \
346 int gb_var_arg_5 GUARDED_BY(&mu1);
379 int *pgb_ptr_var_arg PT_GUARDED_BY(mu1);
381 int *pgb_ptr_var_args __attribute__((pt_guarded_by(mu1, mu2))); // \
384 int pgb_var_args PT_GUARDED_BY(mu1); // \
391 int *pgb_field_args PT_GUARDED_BY(mu1);
394 class PT_GUARDED_BY(mu1) PGB { // \
398 void pgb_function() PT_GUARDED_BY(mu1); // \
401 void pgb_function_params(int gv_lvar PT_GUARDED_BY(mu1)); // \
405 int *x PT_GUARDED_BY(mu1) = new int(0); // \
417 int * pgb_var_arg_5 PT_GUARDED_BY(&mu1);
444 Mutex mu_aa ACQUIRED_AFTER(mu1);
453 Mutex aa_field_args ACQUIRED_AFTER(mu1);
456 class ACQUIRED_AFTER(mu1) AA { // \
460 void aa_function() ACQUIRED_AFTER(mu1); // \
463 void aa_function_params(int gv_lvar ACQUIRED_AFTER(mu1)); // \
467 Mutex x ACQUIRED_AFTER(mu1) = Mutex(); // \
478 Mutex aa_var_arg_5 ACQUIRED_AFTER(&mu1);
504 Mutex mu_ab ACQUIRED_BEFORE(mu1);
513 Mutex ab_field_args ACQUIRED_BEFORE(mu1);
516 class ACQUIRED_BEFORE(mu1) AB { // \
520 void ab_function() ACQUIRED_BEFORE(mu1); // \
523 void ab_function_params(int gv_lvar ACQUIRED_BEFORE(mu1)); // \
527 Mutex x ACQUIRED_BEFORE(mu1) = Mutex(); // \
531 // Note: illegal int ab_int ACQUIRED_BEFORE(mu1) will
541 Mutex ab_var_arg_5 ACQUIRED_BEFORE(&mu1);
572 void elf_function_args() EXCLUSIVE_LOCK_FUNCTION(mu1, mu2);
606 int elf_function_5() EXCLUSIVE_LOCK_FUNCTION(&mu1);
644 void slf_function_args() SHARED_LOCK_FUNCTION(mu1, mu2);
678 int slf_function_5() SHARED_LOCK_FUNCTION(&mu1);
754 int etf_function_5() EXCLUSIVE_TRYLOCK_FUNCTION(1, &mu1);
762 int etf_function_bad_1() EXCLUSIVE_TRYLOCK_FUNCTION(mu1); // \
828 int stf_function_5() SHARED_TRYLOCK_FUNCTION(1, &mu1);
836 int stf_function_bad_1() SHARED_TRYLOCK_FUNCTION(mu1); // \
863 void uf_function_args() UNLOCK_FUNCTION(mu1, mu2);
897 int uf_function_5() UNLOCK_FUNCTION(&mu1);
936 void lr_function_arg() LOCK_RETURNED(mu1);
938 void lr_function_args() __attribute__((lock_returned(mu1, mu2))); // \
941 int lr_testfn(int y) LOCK_RETURNED(mu1);
944 int x LOCK_RETURNED(mu1) = y; // \
949 int lr_test_var LOCK_RETURNED(mu1); // \
952 void lr_fun_params(int lvar LOCK_RETURNED(mu1)); // \
957 int test_field LOCK_RETURNED(mu1); // \
959 void test_method() LOCK_RETURNED(mu1);
962 class LOCK_RETURNED(mu1) LrTestClass { // \
973 int lr_function_5() LOCK_RETURNED(&mu1);
1004 void le_function_arg() LOCKS_EXCLUDED(mu1);
1006 void le_function_args() LOCKS_EXCLUDED(mu1, mu2);
1008 int le_testfn(int y) LOCKS_EXCLUDED(mu1);
1011 int x LOCKS_EXCLUDED(mu1) = y; // \
1016 int le_test_var LOCKS_EXCLUDED(mu1); // \
1019 void le_fun_params(int lvar LOCKS_EXCLUDED(mu1)); // \
1024 int test_field LOCKS_EXCLUDED(mu1); // \
1026 void test_method() LOCKS_EXCLUDED(mu1);
1029 class LOCKS_EXCLUDED(mu1) LeTestClass { // \
1040 int le_function_5() LOCKS_EXCLUDED(&mu1);
1071 void elr_function_arg() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1073 void elr_function_args() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2);
1075 int elr_testfn(int y) EXCLUSIVE_LOCKS_REQUIRED(mu1);
1078 int x EXCLUSIVE_LOCKS_REQUIRED(mu1) = y; // \
1083 int elr_test_var EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1086 void elr_fun_params(int lvar EXCLUSIVE_LOCKS_REQUIRED(mu1)); // \
1091 int test_field EXCLUSIVE_LOCKS_REQUIRED(mu1); // \
1093 void test_method() EXCLUSIVE_LOCKS_REQUIRED(mu1);
1096 class EXCLUSIVE_LOCKS_REQUIRED(mu1) ElrTestClass { // \
1107 int elr_function_5() EXCLUSIVE_LOCKS_REQUIRED(&mu1);
1139 void slr_function_arg() SHARED_LOCKS_REQUIRED(mu1);
1141 void slr_function_args() SHARED_LOCKS_REQUIRED(mu1, mu2);
1143 int slr_testfn(int y) SHARED_LOCKS_REQUIRED(mu1);
1146 int x SHARED_LOCKS_REQUIRED(mu1) = y; // \
1151 int slr_test_var SHARED_LOCKS_REQUIRED(mu1); // \
1154 void slr_fun_params(int lvar SHARED_LOCKS_REQUIRED(mu1)); // \
1159 int test_field SHARED_LOCKS_REQUIRED(mu1); // \
1161 void test_method() SHARED_LOCKS_REQUIRED(mu1);
1164 class SHARED_LOCKS_REQUIRED(mu1) SlrTestClass { // \
1175 int slr_function_5() SHARED_LOCKS_REQUIRED(&mu1);
