Symbol: event_max_sco
kernel/trace/rv/monitors/sco/sco.h
27
char *event_names[event_max_sco];
kernel/trace/rv/monitors/sco/sco.h
28
unsigned char function[state_max_sco][event_max_sco];