Searched defs:task_is_rcu (Results 1 – 1 of 1) sorted by relevance
79 bool task_is_rcu = test_bit(LTL_TASK_IS_RCU, mon->atoms); in ltl_start() local128 bool task_is_rcu = test_bit(LTL_TASK_IS_RCU, mon->atoms); in ltl_possible_next_states() local