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