78 static int     COND = 0;  variable
140   COND = 1;  in Waker()
148   COND = 0;  in Waiter()
151   while(COND != 1)  in Waiter()
188   COND = 1; // We are done! Tell the Waiter.  in Waker()
194   COND = 0;  in Waiter()
196   MU.LockWhen(Condition(&ArgIsOne, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
268   COND = 1;  in Waker()
276   while(COND != 1)  in Waiter()
283   COND = 0;  in Run()
318   COND = 1;  in Waker()
326   COND = 0;  in Waiter()
330   while(COND != 1)  in Waiter()
349 bool    COND = 0;  variable
369   COND = true; // We are done! Tell the Waiter.  in Signaller()
373   COND = false;  in Waiter()
378   MU.LockWhen(Condition(&ArgIsTrue, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
559   COND = 1;  in Waker()
569   MU.LockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
577   COND = 0;  in Run()
647   COND = 1;  in Waker()
653   MU.LockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
660   COND = 0;  in Run()
702   COND--;  in Worker()
704   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
712   COND = 2;  in Run()
736   COND--;  in Worker()
738   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
745   COND = 3;  in Run()
767   COND = 1; // We are done! Tell the Waiter.  in Waker()
773   COND = 0;  in Waiter()
777   MU.Await(Condition(&ArgIsOne, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
800   COND = 1; // We are done! Tell the Waiter.  in Waker()
806   COND = 0;  in Waiter()
810   CHECK(MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));  in Waiter()
834   CHECK(!MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
841   COND = 0;  in Run()
861   CHECK(!MU.LockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
868   COND = 0;  in Run()
891   while(COND != 1 && ms_left_to_wait > 0) {  in Waiter()
901   COND = 0;  in Run()
985   COND = 1; // We are done! Tell the Waiter.  in Waker()
991   COND = 0;  in Waiter()
993   MU.ReaderLockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
1018   COND = 1; // We are done! Tell the Waiter.  in Waker()
1024   COND = 0;  in Waiter()
1026   CHECK(MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));  in Waiter()
1050   CHECK(!MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
1057   COND = 0;  in Run()
1788 int COND = 0;  variable
1796   COND = 1;  in Worker1()
1801   while (COND != 0)  in Worker1()
1813   while (COND != 1)  in Worker2()
1821   COND = 0;  in Worker2()
2138   COND = 1;  in Waker()
2150   while(COND != 1)  in Waiter()
2159   COND = 0;  in Run()
2173 int     COND = 0;  variable
2205   COND = 1;  in Waker()
2214   COND = 1;  in Waker()
2222   while(COND != 1)  in Waiter()
2244 int     COND = 0;  variable
2274   COND = 1;  in Waker()
2284   COND = 1;  in Waker()
2294   while(COND != 1)  in Waiter()
2962 int     COND = 0;  variable
2975   COND++;  in Writer()
2986     if (COND == N_writers)  in Reader()
3013 int     COND = 0;  variable
3027   COND++;  in Writer()
3040     if (COND == N_writers)  in Reader()
4442 int COND  = 0;  variable
4455   COND = 1;  in Thr1()
4474   while(COND != 1)  in Thr3()
4501 int COND  = 0;  variable
4513   COND = 1;  in Thr1()
4527   while(COND != 1)  in Thr3()
4997 bool COND = false;  variable
5009   mu.LockWhen(Condition(&ArgIsTrue, &COND));  in f1()
5031   COND = true;  in Worker2()
6122 int COND = 0;  variable
6130   COND = 1;  in Signaller()
6137   while (COND == 0)  in Waiter()