tools/verification/rv/include/rv.h

   1 // SPDX-License-Identifier: GPL-2.0
   2
   3 #define MAX_DESCRIPTION 1024
   4 #define MAX_DA_NAME_LEN 24
   5
   6 struct monitor {
   7         char name[MAX_DA_NAME_LEN];
   8         char desc[MAX_DESCRIPTION];
   9         int enabled;
  10 };
  11
  12 int should_stop(void);