include/rv/ltl_monitor.h

169

ltl_atom_update(task, atom, value);

kernel/trace/rv/monitors/sleep/sleep.c

113

ltl_atom_update(current, LTL_BLOCK_ON_RT_MUTEX, true);

kernel/trace/rv/monitors/sleep/sleep.c

118

ltl_atom_update(current, LTL_BLOCK_ON_RT_MUTEX, false);

kernel/trace/rv/monitors/sleep/sleep.c

140

ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, true);

kernel/trace/rv/monitors/sleep/sleep.c

156

ltl_atom_update(current, LTL_FUTEX_LOCK_PI, true);

kernel/trace/rv/monitors/sleep/sleep.c

161

ltl_atom_update(current, LTL_FUTEX_WAIT, true);

kernel/trace/rv/monitors/sleep/sleep.c

177

ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, false);

kernel/trace/rv/monitors/sleep/sleep.c

183

ltl_atom_update(task, LTL_KTHREAD_SHOULD_STOP, true);