Symbol: ltl_atom_pulse
kernel/trace/rv/monitors/pagefault/pagefault.c
41
ltl_atom_pulse(current, LTL_PAGEFAULT, true);
kernel/trace/rv/monitors/sleep/sleep.c
101
ltl_atom_pulse(task, LTL_WOKEN_BY_HARDIRQ, true);
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
106
ltl_atom_pulse(task, LTL_WOKEN_BY_NMI, true);
kernel/trace/rv/monitors/sleep/sleep.c
88
ltl_atom_pulse(task, LTL_SLEEP, true);
kernel/trace/rv/monitors/sleep/sleep.c
90
ltl_atom_pulse(task, LTL_ABORT_SLEEP, true);
kernel/trace/rv/monitors/sleep/sleep.c
95
ltl_atom_pulse(task, LTL_WAKE, true);