Symbol: LTL_ABORT_SLEEP
kernel/trace/rv/monitors/sleep/sleep.c
40
ltl_atom_set(mon, LTL_ABORT_SLEEP, false);
kernel/trace/rv/monitors/sleep/sleep.c
90
ltl_atom_pulse(task, LTL_ABORT_SLEEP, true);
kernel/trace/rv/monitors/sleep/sleep.h
135
bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
86
bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms);