Searched defs:abort_sleep (Results 1 – 1 of 1) sorted by relevance
86 bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms); in ltl_start() local135 bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms); in ltl_possible_next_states() local