Searched refs:ltl_atom_set (Results 1 – 4 of 4) sorted by relevance
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.c | 33 ltl_atom_set(mon, LTL_RT, rt_or_dl_task(task)); in ltl_atoms_fetch()
38 ltl_atom_set(mon, LTL_SLEEP, false); in ltl_atoms_init()
39 ltl_atom_set(mon, LTL_WAKE, false); in ltl_atoms_init()
40 ltl_atom_set(mon, LTL_ABORT_SLEEP, false); in ltl_atoms_init()
41 ltl_atom_set(mon, LTL_WOKEN_BY_HARDIRQ, false); in ltl_atoms_init()
42 ltl_atom_set(mon, LTL_WOKEN_BY_NMI, false); in ltl_atoms_init()
43 ltl_atom_set(mon, LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO, false); in ltl_atoms_init()
46 ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false); in ltl_atoms_init()
47 ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false); in ltl_atoms_init()
48 ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false); in ltl_atoms_init()
[all …]
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.c | 29 ltl_atom_set(mon, LTL_RT, rt_or_dl_task(task)); in ltl_atoms_fetch()
35 ltl_atom_set(mon, LTL_PAGEFAULT, false); in ltl_atoms_init()
|
| /linux/include/rv/ |
| H A D | ltl_monitor.h | 110 static inline void ltl_atom_set(struct ltl_monitor *mon, enum ltl_atom atom, bool value) in ltl_atom_set() function
167 ltl_atom_set(mon, atom, value); in ltl_atom_update()
184 ltl_atom_set(mon, atom, !value); in ltl_atom_pulse()
|
| /linux/Documentation/trace/rv/ |
| H A D | monitor_synthesis.rst | 216 ltl_atom_set(mon, LTL_RT, rt_task(task));
245 ltl_atom_set(mon, LTL_RT, rt_task(task));
247 ltl_atom_set(mon, LTL_PAGEFAULT, false);
|