Searched refs:getMu (Results 1 – 6 of 6) sorted by relevance
46 Mutex getMu() { in getMu() function in MuWrapper346 int gb_var_arg_3 GUARDED_BY(muWrapper.getMu());350 int gb_var_arg_7 GUARDED_BY(muDoubleWrapper.getWrapper()->getMu());417 int * pgb_var_arg_3 PT_GUARDED_BY(muWrapper.getMu());421 int * pgb_var_arg_7 PT_GUARDED_BY(muDoubleWrapper.getWrapper()->getMu());478 Mutex aa_var_arg_3 ACQUIRED_AFTER(muWrapper.getMu());482 Mutex aa_var_arg_7 ACQUIRED_AFTER(muDoubleWrapper.getWrapper()->getMu());541 Mutex ab_var_arg_3 ACQUIRED_BEFORE(muWrapper.getMu());545 Mutex ab_var_arg_7 ACQUIRED_BEFORE(muDoubleWrapper.getWrapper()->getMu());606 int elf_function_3() EXCLUSIVE_LOCK_FUNCTION(muWrapper.getMu());[all …]
2406 Mutex* getMu() LOCK_RETURNED(mu_);2410 static Mutex* getMu(Foo* f) LOCK_RETURNED(f->mu_);2423 f1->getMu()->Lock(); in test1()2431 Foo::getMu(f2)->Lock(); in test1()2433 Foo::getMu(f2)->Unlock(); in test1()2437 f1->getMu()->Unlock(); in test1()2441 Mutex* getFooMu(Foo* f) LOCK_RETURNED(Foo::getMu(f));2445 int b GUARDED_BY(getMu());2446 void bar() EXCLUSIVE_LOCKS_REQUIRED(getMu());2447 void bar2(Bar* g) EXCLUSIVE_LOCKS_REQUIRED(getMu(this), g->getMu());[all …]
408 public static byte getMu(ECCurve.AbstractF2m curve) in getMu() method in Tnaf423 public static byte getMu(ECFieldElement curveA) in getMu() method in Tnaf428 public static byte getMu(int curveA) in getMu() method in Tnaf547 byte mu = getMu(a); in getSi()565 byte mu = getMu(curveA); in getSi()659 byte mu = getMu(a); in multiplyRTnaf()678 byte mu = getMu(curve.getA()); in multiplyTnaf()
34 byte mu = Tnaf.getMu(a); in multiplyPositive()
277 public double getMu() { in getMu() method in ValueServer
351 Mutex* getMu() RETURN_CAPABILITY(mu) { return μ }353 // analysis knows that getMu() == mu354 void clear() REQUIRES(getMu()) { a = 0; }613 Mutex* getMu() RETURN_CAPABILITY(mu) { return 0; }618 void doSomethingTwice(MyClass& c) REQUIRES(c.getMu()) {619 // The analysis thinks that c.getMu() == c.mu628 annotations to an existing code base. The workaround is to define ``getMu()``