38 	ltl_atom_set(mon, LTL_SLEEP, false);  in ltl_atoms_init()
39 	ltl_atom_set(mon, LTL_WAKE, false);  in ltl_atoms_init()
40 	ltl_atom_set(mon, LTL_ABORT_SLEEP, false);  in ltl_atoms_init()
41 	ltl_atom_set(mon, LTL_WOKEN_BY_HARDIRQ, false);  in ltl_atoms_init()
42 	ltl_atom_set(mon, LTL_WOKEN_BY_NMI, false);  in ltl_atoms_init()
43 	ltl_atom_set(mon, LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO, false);  in ltl_atoms_init()
46 		ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false);  in ltl_atoms_init()
47 		ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false);  in ltl_atoms_init()
48 		ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);  in ltl_atoms_init()
49 		ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, false);  in ltl_atoms_init()
50 		ltl_atom_set(mon, LTL_CLOCK_NANOSLEEP, false);  in ltl_atoms_init()
51 		ltl_atom_set(mon, LTL_FUTEX_WAIT, false);  in ltl_atoms_init()
52 		ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);  in ltl_atoms_init()
53 		ltl_atom_set(mon, LTL_BLOCK_ON_RT_MUTEX, false);  in ltl_atoms_init()
60 		ltl_atom_set(mon, LTL_FUTEX_WAIT, false);  in ltl_atoms_init()
61 		ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);  in ltl_atoms_init()
62 		ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false);  in ltl_atoms_init()
63 		ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);  in ltl_atoms_init()
64 		ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, false);  in ltl_atoms_init()
65 		ltl_atom_set(mon, LTL_CLOCK_NANOSLEEP, false);  in ltl_atoms_init()
70 			ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, false);  in ltl_atoms_init()
75 			ltl_atom_set(mon, LTL_TASK_IS_RCU, false);  in ltl_atoms_init()
77 		ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false);  in ltl_atoms_init()
78 		ltl_atom_set(mon, LTL_KERNEL_THREAD, false);  in ltl_atoms_init()
79 		ltl_atom_set(mon, LTL_TASK_IS_RCU, false);  in ltl_atoms_init()
80 		ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, false);  in ltl_atoms_init()
118 	ltl_atom_update(current, LTL_BLOCK_ON_RT_MUTEX, false);  in handle_contention_end()
172 	ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);  in handle_sys_exit()
173 	ltl_atom_set(mon, LTL_FUTEX_WAIT, false);  in handle_sys_exit()
174 	ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false);  in handle_sys_exit()
175 	ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);  in handle_sys_exit()
176 	ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, false);  in handle_sys_exit()
177 	ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, false);  in handle_sys_exit()