Symbol: state_max_opid
kernel/trace/rv/monitors/opid/opid.h
19
#define INVALID_STATE state_max_opid
kernel/trace/rv/monitors/opid/opid.h
33
char *state_names[state_max_opid];
kernel/trace/rv/monitors/opid/opid.h
35
unsigned char function[state_max_opid][event_max_opid];
kernel/trace/rv/monitors/opid/opid.h
37
bool final_states[state_max_opid];