Symbol: thread_context_sco
kernel/trace/rv/monitors/sco/sco.h
44
{ thread_context_sco, scheduling_context_sco, INVALID_STATE },
kernel/trace/rv/monitors/sco/sco.h
45
{ INVALID_STATE, INVALID_STATE, thread_context_sco },
kernel/trace/rv/monitors/sco/sco.h
47
.initial_state = thread_context_sco,