MAINTAINERS | 1 + include/linux/rv.h | 11 ++-- include/rv/da_monitor.h | 35 +++------- include/rv/ltl_monitor.h | 18 ++---- kernel/trace/rv/reactor_panic.c | 6 +- kernel/trace/rv/reactor_printk.c | 6 +- kernel/trace/rv/rv_reactors.c | 22 ++++++- tools/testing/selftests/ftrace/ftracetest | 34 +++++++--- .../ftrace/test.d/00basic/mount_options.tc | 2 +- tools/testing/selftests/ftrace/test.d/functions | 6 +- tools/testing/selftests/verification/.gitignore | 2 + tools/testing/selftests/verification/Makefile | 8 +++ tools/testing/selftests/verification/config | 1 + tools/testing/selftests/verification/settings | 1 + .../selftests/verification/test.d/functions | 39 +++++++++++ .../test.d/rv_monitor_enable_disable.tc | 75 ++++++++++++++++++++++ .../verification/test.d/rv_monitor_reactor.tc | 68 ++++++++++++++++++++ .../verification/test.d/rv_monitors_available.tc | 18 ++++++ .../verification/test.d/rv_wwnr_printk.tc | 30 +++++++++ .../selftests/verification/verificationtest-ktap | 8 +++ 20 files changed, 322 insertions(+), 69 deletions(-) create mode 100644 tools/testing/selftests/verification/.gitignore create mode 100644 tools/testing/selftests/verification/Makefile create mode 100644 tools/testing/selftests/verification/config create mode 100644 tools/testing/selftests/verification/settings create mode 100644 tools/testing/selftests/verification/test.d/functions create mode 100644 tools/testing/selftests/verification/test.d/rv_monitor_enable_disable.tc create mode 100644 tools/testing/selftests/verification/test.d/rv_monitor_reactor.tc create mode 100644 tools/testing/selftests/verification/test.d/rv_monitors_available.tc create mode 100644 tools/testing/selftests/verification/test.d/rv_wwnr_printk.tc create mode 100755 tools/testing/selftests/verification/verificationtest-ktap