57   MuWrapper* muWrapper;  member in MuDoubleWrapper
59     return muWrapper;  in getWrapper()
66 MuWrapper muWrapper;  variable
344 int gb_var_arg_1 GUARDED_BY(muWrapper.mu);
345 int gb_var_arg_2 GUARDED_BY(muDoubleWrapper.muWrapper->mu);
346 int gb_var_arg_3 GUARDED_BY(muWrapper.getMu());
347 int gb_var_arg_4 GUARDED_BY(*muWrapper.getMuPointer());
415 int * pgb_var_arg_1 PT_GUARDED_BY(muWrapper.mu);
416 int * pgb_var_arg_2 PT_GUARDED_BY(muDoubleWrapper.muWrapper->mu);
417 int * pgb_var_arg_3 PT_GUARDED_BY(muWrapper.getMu());
418 int * pgb_var_arg_4 PT_GUARDED_BY(*muWrapper.getMuPointer());
476 Mutex aa_var_arg_1 ACQUIRED_AFTER(muWrapper.mu);
477 Mutex aa_var_arg_2 ACQUIRED_AFTER(muDoubleWrapper.muWrapper->mu);
478 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());
479 Mutex aa_var_arg_4 ACQUIRED_AFTER(*muWrapper.getMuPointer());
539 Mutex ab_var_arg_1 ACQUIRED_BEFORE(muWrapper.mu);
540 Mutex ab_var_arg_2 ACQUIRED_BEFORE(muDoubleWrapper.muWrapper->mu);
541 Mutex ab_var_arg_3 ACQUIRED_BEFORE(muWrapper.getMu());
542 Mutex ab_var_arg_4 ACQUIRED_BEFORE(*muWrapper.getMuPointer());
604 int elf_function_1() EXCLUSIVE_LOCK_FUNCTION(muWrapper.mu);
605 int elf_function_2() EXCLUSIVE_LOCK_FUNCTION(muDoubleWrapper.muWrapper->mu);
606 int elf_function_3() EXCLUSIVE_LOCK_FUNCTION(muWrapper.getMu());
607 int elf_function_4() EXCLUSIVE_LOCK_FUNCTION(*muWrapper.getMuPointer());
676 int slf_function_1() SHARED_LOCK_FUNCTION(muWrapper.mu);
677 int slf_function_2() SHARED_LOCK_FUNCTION(muDoubleWrapper.muWrapper->mu);
678 int slf_function_3() SHARED_LOCK_FUNCTION(muWrapper.getMu());
679 int slf_function_4() SHARED_LOCK_FUNCTION(*muWrapper.getMuPointer());
752 int etf_function_1() EXCLUSIVE_TRYLOCK_FUNCTION(1, muWrapper.mu);
753 int etf_function_2() EXCLUSIVE_TRYLOCK_FUNCTION(1, muDoubleWrapper.muWrapper->mu);
754 int etf_function_3() EXCLUSIVE_TRYLOCK_FUNCTION(1, muWrapper.getMu());
755 int etf_function_4() EXCLUSIVE_TRYLOCK_FUNCTION(1, *muWrapper.getMuPointer());
826 int stf_function_1() SHARED_TRYLOCK_FUNCTION(1, muWrapper.mu);
827 int stf_function_2() SHARED_TRYLOCK_FUNCTION(1, muDoubleWrapper.muWrapper->mu);
828 int stf_function_3() SHARED_TRYLOCK_FUNCTION(1, muWrapper.getMu());
829 int stf_function_4() SHARED_TRYLOCK_FUNCTION(1, *muWrapper.getMuPointer());
895 int uf_function_1() UNLOCK_FUNCTION(muWrapper.mu);
896 int uf_function_2() UNLOCK_FUNCTION(muDoubleWrapper.muWrapper->mu);
897 int uf_function_3() UNLOCK_FUNCTION(muWrapper.getMu());
898 int uf_function_4() UNLOCK_FUNCTION(*muWrapper.getMuPointer());
971 int lr_function_1() LOCK_RETURNED(muWrapper.mu);
972 int lr_function_2() LOCK_RETURNED(muDoubleWrapper.muWrapper->mu);
973 int lr_function_3() LOCK_RETURNED(muWrapper.getMu());
974 int lr_function_4() LOCK_RETURNED(*muWrapper.getMuPointer());
1038 int le_function_1() LOCKS_EXCLUDED(muWrapper.mu);
1039 int le_function_2() LOCKS_EXCLUDED(muDoubleWrapper.muWrapper->mu);
1040 int le_function_3() LOCKS_EXCLUDED(muWrapper.getMu());
1041 int le_function_4() LOCKS_EXCLUDED(*muWrapper.getMuPointer());
1105 int elr_function_1() EXCLUSIVE_LOCKS_REQUIRED(muWrapper.mu);
1106 int elr_function_2() EXCLUSIVE_LOCKS_REQUIRED(muDoubleWrapper.muWrapper->mu);
1107 int elr_function_3() EXCLUSIVE_LOCKS_REQUIRED(muWrapper.getMu());
1108 int elr_function_4() EXCLUSIVE_LOCKS_REQUIRED(*muWrapper.getMuPointer());
1173 int slr_function_1() SHARED_LOCKS_REQUIRED(muWrapper.mu);
1174 int slr_function_2() SHARED_LOCKS_REQUIRED(muDoubleWrapper.muWrapper->mu);
1175 int slr_function_3() SHARED_LOCKS_REQUIRED(muWrapper.getMu());
1176 int slr_function_4() SHARED_LOCKS_REQUIRED(*muWrapper.getMuPointer());