Home
last modified time | relevance | path

Searched refs:reactors (Results 1 – 7 of 7) sorted by relevance

/linux-6.15/tools/verification/rv/src/
H A Din_kernel.c253 char *reactors; in ikm_read_reactor() local
256 reactors = tracefs_instance_file_read(NULL, path, NULL); in ikm_read_reactor()
257 if (!reactors) { in ikm_read_reactor()
262 return reactors; in ikm_read_reactor()
276 char *reactors = ikm_read_reactor(monitor_name); in ikm_get_current_reactor() local
281 if (!reactors) in ikm_get_current_reactor()
284 start = strstr(reactors, "["); in ikm_get_current_reactor()
304 free(reactors); in ikm_get_current_reactor()
643 char *reactors = tracefs_instance_file_read(NULL, "rv/available_reactors", NULL); in ikm_usage_print_reactors() local
646 if (!reactors) in ikm_usage_print_reactors()
[all …]
/linux-6.15/Documentation/tools/rv/
H A Dcommon_ikm.rst3 Print the monitor's options and the available reactors list.
7 Enables the *reactor*. See **-h** for a list of available reactors.
/linux-6.15/Documentation/trace/rv/
H A Druntime-verification.rst138 - Reading shows the available reactors, one per line.
215 **monitors/MONITOR/reactors**
217 - List available reactors, with the select reaction for the given *MONITOR*
223 # cat monitors/wip/reactors
227 # echo panic > monitors/wip/reactors
228 # cat monitors/wip/reactors
H A Dmonitor_wwnr.rst41 - To test the reactors.
H A Dmonitor_sched.rst27 enabling/disabling or setting reactors to sched, propagates the change to all monitors,
/linux-6.15/kernel/trace/rv/
H A DKconfig40 bool "Runtime verification reactors"
44 Enables the online runtime verification reactors. A runtime
/linux-6.15/kernel/trace/rv/monitors/wwnr/
H A DKconfig10 The model is borken on purpose: it serves to test reactors.