Symbol: ltl_atom_set
include/rv/ltl_monitor.h
155
ltl_atom_set(mon, atom, value);
include/rv/ltl_monitor.h
172
ltl_atom_set(mon, atom, !value);
kernel/trace/rv/monitors/pagefault/pagefault.c
29
ltl_atom_set(mon, LTL_RT, rt_or_dl_task(task));
kernel/trace/rv/monitors/pagefault/pagefault.c
35
ltl_atom_set(mon, LTL_PAGEFAULT, false);
kernel/trace/rv/monitors/sleep/sleep.c
139
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, args[0] == CLOCK_MONOTONIC);
kernel/trace/rv/monitors/sleep/sleep.c
140
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, args[0] == CLOCK_TAI);
kernel/trace/rv/monitors/sleep/sleep.c
141
ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, args[1] == TIMER_ABSTIME);
kernel/trace/rv/monitors/sleep/sleep.c
179
ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);
kernel/trace/rv/monitors/sleep/sleep.c
180
ltl_atom_set(mon, LTL_FUTEX_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
181
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false);
kernel/trace/rv/monitors/sleep/sleep.c
182
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);
kernel/trace/rv/monitors/sleep/sleep.c
183
ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, false);
kernel/trace/rv/monitors/sleep/sleep.c
184
ltl_atom_set(mon, LTL_EPOLL_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
33
ltl_atom_set(mon, LTL_RT, rt_or_dl_task(task));
kernel/trace/rv/monitors/sleep/sleep.c
38
ltl_atom_set(mon, LTL_SLEEP, false);
kernel/trace/rv/monitors/sleep/sleep.c
39
ltl_atom_set(mon, LTL_WAKE, false);
kernel/trace/rv/monitors/sleep/sleep.c
40
ltl_atom_set(mon, LTL_ABORT_SLEEP, false);
kernel/trace/rv/monitors/sleep/sleep.c
41
ltl_atom_set(mon, LTL_WOKEN_BY_HARDIRQ, false);
kernel/trace/rv/monitors/sleep/sleep.c
42
ltl_atom_set(mon, LTL_WOKEN_BY_NMI, false);
kernel/trace/rv/monitors/sleep/sleep.c
43
ltl_atom_set(mon, LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO, false);
kernel/trace/rv/monitors/sleep/sleep.c
46
ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false);
kernel/trace/rv/monitors/sleep/sleep.c
47
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false);
kernel/trace/rv/monitors/sleep/sleep.c
48
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);
kernel/trace/rv/monitors/sleep/sleep.c
49
ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, false);
kernel/trace/rv/monitors/sleep/sleep.c
50
ltl_atom_set(mon, LTL_CLOCK_NANOSLEEP, false);
kernel/trace/rv/monitors/sleep/sleep.c
51
ltl_atom_set(mon, LTL_FUTEX_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
52
ltl_atom_set(mon, LTL_EPOLL_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
53
ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);
kernel/trace/rv/monitors/sleep/sleep.c
54
ltl_atom_set(mon, LTL_BLOCK_ON_RT_MUTEX, false);
kernel/trace/rv/monitors/sleep/sleep.c
58
ltl_atom_set(mon, LTL_KERNEL_THREAD, true);
kernel/trace/rv/monitors/sleep/sleep.c
61
ltl_atom_set(mon, LTL_FUTEX_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
62
ltl_atom_set(mon, LTL_FUTEX_LOCK_PI, false);
kernel/trace/rv/monitors/sleep/sleep.c
63
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_MONOTONIC, false);
kernel/trace/rv/monitors/sleep/sleep.c
64
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);
kernel/trace/rv/monitors/sleep/sleep.c
65
ltl_atom_set(mon, LTL_NANOSLEEP_TIMER_ABSTIME, false);
kernel/trace/rv/monitors/sleep/sleep.c
66
ltl_atom_set(mon, LTL_CLOCK_NANOSLEEP, false);
kernel/trace/rv/monitors/sleep/sleep.c
67
ltl_atom_set(mon, LTL_EPOLL_WAIT, false);
kernel/trace/rv/monitors/sleep/sleep.c
70
ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, true);
kernel/trace/rv/monitors/sleep/sleep.c
72
ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, false);
kernel/trace/rv/monitors/sleep/sleep.c
75
ltl_atom_set(mon, LTL_TASK_IS_RCU, true);
kernel/trace/rv/monitors/sleep/sleep.c
77
ltl_atom_set(mon, LTL_TASK_IS_RCU, false);
kernel/trace/rv/monitors/sleep/sleep.c
79
ltl_atom_set(mon, LTL_KTHREAD_SHOULD_STOP, false);
kernel/trace/rv/monitors/sleep/sleep.c
80
ltl_atom_set(mon, LTL_KERNEL_THREAD, false);
kernel/trace/rv/monitors/sleep/sleep.c
81
ltl_atom_set(mon, LTL_TASK_IS_RCU, false);
kernel/trace/rv/monitors/sleep/sleep.c
82
ltl_atom_set(mon, LTL_TASK_IS_MIGRATION, false);