Symbol: state_max_scpd
kernel/trace/rv/monitors/scpd/scpd.h
16
#define INVALID_STATE state_max_scpd
kernel/trace/rv/monitors/scpd/scpd.h
27
char *state_names[state_max_scpd];
kernel/trace/rv/monitors/scpd/scpd.h
29
unsigned char function[state_max_scpd][event_max_scpd];
kernel/trace/rv/monitors/scpd/scpd.h
31
bool final_states[state_max_scpd];