Symbol: LTL_KTHREAD_SHOULD_STOP
kernel/trace/rv/monitors/sleep/sleep.c
183
ltl_atom_update(task, LTL_KTHREAD_SHOULD_STOP, true);
kernel/trace/rv/monitors/sleep/sleep.c
46
ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false);
kernel/trace/rv/monitors/sleep/sleep.c
77
ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false);
kernel/trace/rv/monitors/sleep/sleep.h
134
bool kthread_should_stop = test_bit(LTL_KTHREAD_SHOULD_STOP, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
85
bool kthread_should_stop = test_bit(LTL_KTHREAD_SHOULD_STOP, mon->atoms);