Symbol: LTL_SLEEP
kernel/trace/rv/monitors/sleep/sleep.c
38
ltl_atom_set(mon, LTL_SLEEP, false);
kernel/trace/rv/monitors/sleep/sleep.c
88
ltl_atom_pulse(task, LTL_SLEEP, true);
kernel/trace/rv/monitors/sleep/sleep.h
108
bool sleep = test_bit(LTL_SLEEP, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
157
bool sleep = test_bit(LTL_SLEEP, mon->atoms);