Symbol: LTL_FUTEX_LOCK_PI
kernel/trace/rv/monitors/sleep/sleep.c
156
ltl_atom_update(current, LTL_FUTEX_LOCK_PI, true);
kernel/trace/rv/monitors/sleep/sleep.c
172
ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);
kernel/trace/rv/monitors/sleep/sleep.c
52
ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);
kernel/trace/rv/monitors/sleep/sleep.c
61
ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);
kernel/trace/rv/monitors/sleep/sleep.h
130
bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
81
bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);