Searched refs:getMu (Results 1 – 3 of 3) sorted by relevance
48 Mutex getMu() { in getMu() function in MuWrapper348 int gb_var_arg_3 GUARDED_BY(muWrapper.getMu());420 int * pgb_var_arg_3 PT_GUARDED_BY(muWrapper.getMu());481 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());544 Mutex ab_var_arg_3 ACQUIRED_BEFORE(muWrapper.getMu());610 int elf_function_3() EXCLUSIVE_LOCK_FUNCTION(muWrapper.getMu());683 int slf_function_3() SHARED_LOCK_FUNCTION(muWrapper.getMu());914 int uf_function_3() UNLOCK_FUNCTION(muWrapper.getMu());990 int lr_function_3() LOCK_RETURNED(muWrapper.getMu());1057 int le_function_3() LOCKS_EXCLUDED(muWrapper.getMu());[all …]
2479 Mutex* getMu() LOCK_RETURNED(mu_);2496 f1->getMu()->Lock(); in test1()2504 Foo::getMu(f2)->Lock(); in test1()2506 Foo::getMu(f2)->Unlock(); in test1()2510 f1->getMu()->Unlock(); in test1()2520 void bar2(Bar* g) EXCLUSIVE_LOCKS_REQUIRED(getMu(this), g->getMu());2538 b1->getMu()->Lock(); in test2()2546 b2->getMu()->Lock(); in test2()2549 b2->getMu()->Unlock(); in test2()2554 b1->getMu()->Unlock(); in test2()[all …]
354 Mutex* getMu() RETURN_CAPABILITY(mu) { return μ }356 // analysis knows that getMu() == mu357 void clear() REQUIRES(getMu()) { a = 0; }644 Mutex* getMu() RETURN_CAPABILITY(mu);649 void doSomethingTwice(MyClass& c) REQUIRES(c.getMu()) {650 // The analysis thinks that c.getMu() == c.mu659 annotations to an existing code base. The workaround is to define ``getMu()``