Symbol: state_max_nomiss
kernel/trace/rv/monitors/nomiss/nomiss.h
19
#define INVALID_STATE state_max_nomiss
kernel/trace/rv/monitors/nomiss/nomiss.h
44
char *state_names[state_max_nomiss];
kernel/trace/rv/monitors/nomiss/nomiss.h
47
unsigned char function[state_max_nomiss][event_max_nomiss];
kernel/trace/rv/monitors/nomiss/nomiss.h
49
bool final_states[state_max_nomiss];