Symbol: state_max_nrp
kernel/trace/rv/monitors/nrp/nrp.h
18
#define INVALID_STATE state_max_nrp
kernel/trace/rv/monitors/nrp/nrp.h
29
char *state_names[state_max_nrp];
kernel/trace/rv/monitors/nrp/nrp.h
31
unsigned char function[state_max_nrp][event_max_nrp];
kernel/trace/rv/monitors/nrp/nrp.h
33
bool final_states[state_max_nrp];