Searched defs:val14 (Results 1 – 1 of 1) sorted by relevance
94 bool val14 = woken_by_equal_or_higher_prio || val34; in ltl_start() local143 bool val14 = woken_by_equal_or_higher_prio || val34; in ltl_possible_next_states() local