aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/tools/verification/rv/include/rv.h
diff options
context:
space:
mode:
Diffstat (limited to 'tools/verification/rv/include/rv.h')
-rw-r--r--tools/verification/rv/include/rv.h13
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/verification/rv/include/rv.h b/tools/verification/rv/include/rv.h
new file mode 100644
index 000000000000..6f668eb266cb
--- /dev/null
+++ b/tools/verification/rv/include/rv.h
@@ -0,0 +1,13 @@
+// SPDX-License-Identifier: GPL-2.0
+
+#define MAX_DESCRIPTION 1024
+#define MAX_DA_NAME_LEN 32
+
+struct monitor {
+ char name[MAX_DA_NAME_LEN];
+ char desc[MAX_DESCRIPTION];
+ int enabled;
+ int nested;
+};
+
+int should_stop(void);