Symbol: LTL_WOKEN_BY_NMI
kernel/trace/rv/monitors/sleep/sleep.c
106
ltl_atom_pulse(task, LTL_WOKEN_BY_NMI, true);
kernel/trace/rv/monitors/sleep/sleep.c
42
ltl_atom_set(mon, LTL_WOKEN_BY_NMI, false);
kernel/trace/rv/monitors/sleep/sleep.h
137
bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
88
bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);