Lines Matching refs:event
25 bool event;
41 :: !USE_NOTIFY_ME || notify_me -> event = 1;
56 :: event -> skip; \
64 event = 0;
71 :: event -> skip; \
78 event = 0; \
113 /* There must be infinitely many transitions of event as long
116 * If event stayed always true, the waiters would be busy looping.
117 * If event stayed always false, the waiters would be sleeping
122 :: !event -> goto accept_if_event_not_eventually_true;
123 :: event -> goto accept_if_event_not_eventually_false;
129 :: !event && notifier_done -> do :: true -> skip; od;
130 :: !event && !notifier_done -> goto accept_if_event_not_eventually_true;
136 :: event -> goto accept_if_event_not_eventually_false;