Searched defs:val34 (Results 1 – 1 of 1) sorted by relevance
91 bool val34 = woken_by_hardirq || val33; in ltl_start() local140 bool val34 = woken_by_hardirq || val33; in ltl_possible_next_states() local