Symbol: LTL_WAKE
kernel/trace/rv/monitors/sleep/sleep.c
39
ltl_atom_set(mon, LTL_WAKE, false);
kernel/trace/rv/monitors/sleep/sleep.c
95
ltl_atom_pulse(task, LTL_WAKE, true);
kernel/trace/rv/monitors/sleep/sleep.h
144
bool wake = test_bit(LTL_WAKE, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
95
bool wake = test_bit(LTL_WAKE, mon->atoms);