Symbol: state_max_snroc
kernel/trace/rv/monitors/snroc/snroc.h
16
#define INVALID_STATE state_max_snroc
kernel/trace/rv/monitors/snroc/snroc.h
26
char *state_names[state_max_snroc];
kernel/trace/rv/monitors/snroc/snroc.h
28
unsigned char function[state_max_snroc][event_max_snroc];
kernel/trace/rv/monitors/snroc/snroc.h
30
bool final_states[state_max_snroc];