Symbol: LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO
kernel/trace/rv/monitors/sleep/sleep.c
104
ltl_atom_pulse(task, LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO, true);
kernel/trace/rv/monitors/sleep/sleep.c
43
ltl_atom_set(mon, LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO, false);
kernel/trace/rv/monitors/sleep/sleep.h
141
bool woken_by_equal_or_higher_prio = test_bit(LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO,
kernel/trace/rv/monitors/sleep/sleep.h
92
bool woken_by_equal_or_higher_prio = test_bit(LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO,