Searched defs:val40 (Results 1 – 1 of 1) sorted by relevance
80 bool val40 = task_is_rcu || task_is_migration; in ltl_start() local129 bool val40 = task_is_rcu || task_is_migration; in ltl_possible_next_states() local