Searched refs:muDoubleWrapper (Results 1 – 1 of 1) sorted by relevance
57 MuDoubleWrapper muDoubleWrapper; variable333 int gb_var_arg_2 __attribute__((guarded_by(muDoubleWrapper.muWrapper->mu)));338 int gb_var_arg_7 __attribute__((guarded_by(muDoubleWrapper.getWrapper()->getMu())));404 int * pgb_var_arg_2 __attribute__((pt_guarded_by(muDoubleWrapper.muWrapper->mu)));409 int * pgb_var_arg_7 __attribute__((pt_guarded_by(muDoubleWrapper.getWrapper()->getMu())));465 Mu aa_var_arg_2 __attribute__((acquired_after(muDoubleWrapper.muWrapper->mu)));470 Mu aa_var_arg_7 __attribute__((acquired_after(muDoubleWrapper.getWrapper()->getMu())));528 Mu ab_var_arg_2 __attribute__((acquired_before(muDoubleWrapper.muWrapper->mu)));533 Mu ab_var_arg_7 __attribute__((acquired_before(muDoubleWrapper.getWrapper()->getMu())));593 int elf_function_2() __attribute__((exclusive_lock_function(muDoubleWrapper.muWrapper->mu)));[all …]