Searched refs:LTL_WAKE (Results 1 – 2 of 2) sorted by relevance
29 LTL_WAKE, enumerator95 bool wake = test_bit(LTL_WAKE, mon->atoms); in ltl_start()144 bool wake = test_bit(LTL_WAKE, mon->atoms); in ltl_possible_next_states()
39 ltl_atom_set(mon, LTL_WAKE, false); in ltl_atoms_init()95 ltl_atom_pulse(task, LTL_WAKE, true); in handle_sched_wakeup()