Symbol: LTL_FUTEX_WAIT
kernel/trace/rv/monitors/sleep/sleep.c
161
ltl_atom_update(current, LTL_FUTEX_WAIT, true);
kernel/trace/rv/monitors/sleep/sleep.c
173
ltl_atom_set(mon, LTL_FUTEX_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
51
ltl_atom_set(mon, LTL_FUTEX_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
60
ltl_atom_set(mon, LTL_FUTEX_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.h
105
bool futex_wait = test_bit(LTL_FUTEX_WAIT, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
154
bool futex_wait = test_bit(LTL_FUTEX_WAIT, mon->atoms);