xref: /linux/tools/verification/rv/include/rv.h (revision 88221ac0d560700b50493aedc768f728aa585141)
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