| /linux/include/rv/ |
| H A D | automata.h | 12 #ifndef MONITOR_NAME
16 #define RV_AUTOMATON_NAME CONCATENATE(automaton_, MONITOR_NAME)
17 #define EVENT_MAX CONCATENATE(event_max_, MONITOR_NAME)
18 #define STATE_MAX CONCATENATE(state_max_, MONITOR_NAME)
19 #define events CONCATENATE(events_, MONITOR_NAME)
20 #define states CONCATENATE(states_, MONITOR_NAME)
|
| H A D | da_monitor.h | 27 #define DA_MON_NAME CONCATENATE(da_mon_, MONITOR_NAME)
35 __stringify(MONITOR_NAME), in react()
120 CONCATENATE(trace_error_, MONITOR_NAME)( in da_event()
126 CONCATENATE(trace_event_, MONITOR_NAME)( in da_event()
135 trace_rv_retries_error(__stringify(MONITOR_NAME), model_get_event_name(event)); in da_event()
138 model_get_event_name(event), __stringify(MONITOR_NAME)); in da_event()
161 CONCATENATE(trace_error_, MONITOR_NAME)(tsk->pid, in da_event()
167 CONCATENATE(trace_event_, MONITOR_NAME)(tsk->pid, in da_event()
176 trace_rv_retries_error(__stringify(MONITOR_NAME), model_get_event_name(event)); in da_event()
179 model_get_event_name(event), __stringify(MONITOR_NAME)); in da_event()
[all …]
|
| H A D | ltl_monitor.h | 15 #ifndef MONITOR_NAME
19 #define RV_MONITOR_NAME CONCATENATE(rv_, MONITOR_NAME)
86 CONCATENATE(trace_error_, MONITOR_NAME)(task); in ltl_illegal_state()
87 rv_react(&RV_MONITOR_NAME, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n", in ltl_illegal_state()
114 if (!CONCATENATE(CONCATENATE(trace_event_, MONITOR_NAME), _enabled)()) in ltl_trace_event()
127 CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next); in ltl_trace_event()
|
| /linux/Documentation/trace/rv/ |
| H A D | da_monitor_instrumentation.rst | 92 "da_handle_start_event_$(MONITOR_NAME)(event)", in this case::
117 enable_$(MONITOR_NAME)()
118 disable_$(MONITOR_NAME)()
|
| /linux/kernel/trace/rv/monitors/wwnr/ |
| H A D | wwnr.h | 8 #define MONITOR_NAME wwnr macro
|
| /linux/kernel/trace/rv/monitors/sco/ |
| H A D | sco.h | 8 #define MONITOR_NAME sco macro
|
| /linux/kernel/trace/rv/monitors/wip/ |
| H A D | wip.h | 8 #define MONITOR_NAME wip macro
|
| /linux/kernel/trace/rv/monitors/snroc/ |
| H A D | snroc.h | 8 #define MONITOR_NAME snroc macro
|
| /linux/kernel/trace/rv/monitors/snep/ |
| H A D | snep.h | 8 #define MONITOR_NAME snep macro
|
| /linux/kernel/trace/rv/monitors/scpd/ |
| H A D | scpd.h | 8 #define MONITOR_NAME scpd macro
|
| /linux/kernel/trace/rv/monitors/nrp/ |
| H A D | nrp.h | 8 #define MONITOR_NAME nrp macro
|
| /linux/kernel/trace/rv/monitors/opid/ |
| H A D | opid.h | 8 #define MONITOR_NAME opid macro
|
| /linux/kernel/trace/rv/monitors/sssw/ |
| H A D | sssw.h | 8 #define MONITOR_NAME sssw macro
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.h | 12 #define MONITOR_NAME pagefault macro
|
| /linux/kernel/trace/rv/monitors/sts/ |
| H A D | sts.h | 8 #define MONITOR_NAME sts macro
|
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.h | 12 #define MONITOR_NAME sleep macro
|