Searched refs:ltl_atom_pulse (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.c | 88 ltl_atom_pulse(task, LTL_SLEEP, true); in handle_sched_set_state()
90 ltl_atom_pulse(task, LTL_ABORT_SLEEP, true); in handle_sched_set_state()
95 ltl_atom_pulse(task, LTL_WAKE, true); in handle_sched_wakeup()
101 ltl_atom_pulse(task, LTL_WOKEN_BY_HARDIRQ, true); in handle_sched_waking()
104 ltl_atom_pulse(task, LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO, true); in handle_sched_waking()
106 ltl_atom_pulse(task, LTL_WOKEN_BY_NMI, true); in handle_sched_waking()
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.c | 41 ltl_atom_pulse(current, LTL_PAGEFAULT, true); in handle_page_fault()
|
| /linux/include/rv/ |
| H A D | ltl_monitor.h | 165 static void __maybe_unused ltl_atom_pulse(struct task_struct *task, enum ltl_atom atom, bool value) in ltl_atom_pulse() function
|