Home
last modified time | relevance | path

Searched refs:LTL_FUTEX_LOCK_PI (Results 1 – 2 of 2) sorted by relevance

/linux/kernel/trace/rv/monitors/sleep/
H A Dsleep.c52 ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false); in ltl_atoms_init()
61 ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false); in ltl_atoms_init()
156 ltl_atom_update(current, LTL_FUTEX_LOCK_PI, true); in handle_sys_enter()
172 ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false); in handle_sys_exit()
H A Dsleep.h18 LTL_FUTEX_LOCK_PI, enumerator
81 bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms); in ltl_start()
130 bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms); in ltl_possible_next_states()