78 	bool task_is_migration = test_bit(LTL_TASK_IS_MIGRATION, mon->atoms);  in ltl_start()
79 	bool task_is_rcu = test_bit(LTL_TASK_IS_RCU, mon->atoms);  in ltl_start()
81 	bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);  in ltl_start()
83 	bool block_on_rt_mutex = test_bit(LTL_BLOCK_ON_RT_MUTEX, mon->atoms);  in ltl_start()
85 	bool kthread_should_stop = test_bit(LTL_KTHREAD_SHOULD_STOP, mon->atoms);  in ltl_start()
86 	bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms);  in ltl_start()
88 	bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);  in ltl_start()
90 	bool woken_by_hardirq = test_bit(LTL_WOKEN_BY_HARDIRQ, mon->atoms);  in ltl_start()
92 	bool woken_by_equal_or_higher_prio = test_bit(LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO,  in ltl_start()
95 	bool wake = test_bit(LTL_WAKE, mon->atoms);  in ltl_start()
97 	bool kernel_thread = test_bit(LTL_KERNEL_THREAD, mon->atoms);  in ltl_start()
98 	bool nanosleep_clock_tai = test_bit(LTL_NANOSLEEP_CLOCK_TAI, mon->atoms);  in ltl_start()
99 	bool nanosleep_clock_monotonic = test_bit(LTL_NANOSLEEP_CLOCK_MONOTONIC, mon->atoms);  in ltl_start()
101 	bool nanosleep_timer_abstime = test_bit(LTL_NANOSLEEP_TIMER_ABSTIME, mon->atoms);  in ltl_start()
103 	bool clock_nanosleep = test_bit(LTL_CLOCK_NANOSLEEP, mon->atoms);  in ltl_start()
105 	bool futex_wait = test_bit(LTL_FUTEX_WAIT, mon->atoms);  in ltl_start()
108 	bool sleep = test_bit(LTL_SLEEP, mon->atoms);  in ltl_start()
110 	bool rt = test_bit(LTL_RT, mon->atoms);  in ltl_start()
127 	bool task_is_migration = test_bit(LTL_TASK_IS_MIGRATION, mon->atoms);  in ltl_possible_next_states()
128 	bool task_is_rcu = test_bit(LTL_TASK_IS_RCU, mon->atoms);  in ltl_possible_next_states()
130 	bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);  in ltl_possible_next_states()
132 	bool block_on_rt_mutex = test_bit(LTL_BLOCK_ON_RT_MUTEX, mon->atoms);  in ltl_possible_next_states()
134 	bool kthread_should_stop = test_bit(LTL_KTHREAD_SHOULD_STOP, mon->atoms);  in ltl_possible_next_states()
135 	bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms);  in ltl_possible_next_states()
137 	bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);  in ltl_possible_next_states()
139 	bool woken_by_hardirq = test_bit(LTL_WOKEN_BY_HARDIRQ, mon->atoms);  in ltl_possible_next_states()
141 	bool woken_by_equal_or_higher_prio = test_bit(LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO,  in ltl_possible_next_states()
144 	bool wake = test_bit(LTL_WAKE, mon->atoms);  in ltl_possible_next_states()
146 	bool kernel_thread = test_bit(LTL_KERNEL_THREAD, mon->atoms);  in ltl_possible_next_states()
147 	bool nanosleep_clock_tai = test_bit(LTL_NANOSLEEP_CLOCK_TAI, mon->atoms);  in ltl_possible_next_states()
148 	bool nanosleep_clock_monotonic = test_bit(LTL_NANOSLEEP_CLOCK_MONOTONIC, mon->atoms);  in ltl_possible_next_states()
150 	bool nanosleep_timer_abstime = test_bit(LTL_NANOSLEEP_TIMER_ABSTIME, mon->atoms);  in ltl_possible_next_states()
152 	bool clock_nanosleep = test_bit(LTL_CLOCK_NANOSLEEP, mon->atoms);  in ltl_possible_next_states()
154 	bool futex_wait = test_bit(LTL_FUTEX_WAIT, mon->atoms);  in ltl_possible_next_states()
157 	bool sleep = test_bit(LTL_SLEEP, mon->atoms);  in ltl_possible_next_states()
159 	bool rt = test_bit(LTL_RT, mon->atoms);  in ltl_possible_next_states()