Searched refs:val34 (Results 1 – 1 of 1) sorted by relevance
91 bool val34 = woken_by_hardirq || val33; in ltl_start() local94 bool val14 = woken_by_equal_or_higher_prio || val34; in ltl_start()140 bool val34 = woken_by_hardirq || val33; in ltl_possible_next_states() local143 bool val14 = woken_by_equal_or_higher_prio || val34; in ltl_possible_next_states()