Symbol: state_max_sssw
kernel/trace/rv/monitors/sssw/sssw.h
18
#define INVALID_STATE state_max_sssw
kernel/trace/rv/monitors/sssw/sssw.h
34
char *state_names[state_max_sssw];
kernel/trace/rv/monitors/sssw/sssw.h
36
unsigned char function[state_max_sssw][event_max_sssw];
kernel/trace/rv/monitors/sssw/sssw.h
38
bool final_states[state_max_sssw];