LTL_WOKEN_BY_NMI
ltl_atom_pulse(task, LTL_WOKEN_BY_NMI, true);
ltl_atom_set(mon, LTL_WOKEN_BY_NMI, false);
bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);
bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);