Home
last modified time | relevance | path

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

/linux/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/tools/testing/selftests/verification/test.d/
H A Drv_wwnr_printk.tc15 echo printk > monitors/wwnr/reactors
29 echo nop > monitors/wwnr/reactors
H A Dfunctions1 check_requires() { # Check required files, monitors and reactors
31 echo nop > $m/reactors || true
/linux/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/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/kernel/trace/rv/
H A DKconfig71 bool "Runtime verification reactors"
75 Enables the online runtime verification reactors. A runtime
/linux/kernel/trace/rv/monitors/wwnr/
H A DKconfig10 The model is borken on purpose: it serves to test reactors.