xref: /linux/tools/verification/rv/include/rv.h (revision 0d64a24ec0c02f75e5068065b503d98e10a60d01)
1 // SPDX-License-Identifier: GPL-2.0
2 
3 #define MAX_DESCRIPTION 1024
4 #define MAX_DA_NAME_LEN	32
5 
6 struct monitor {
7 	char name[MAX_DA_NAME_LEN];
8 	char desc[MAX_DESCRIPTION];
9 	int enabled;
10 	int nested;
11 };
12 
13 int should_stop(void);
14