Symbol: other_context_snroc
kernel/trace/rv/monitors/snroc/snroc.h
45
{ own_context_snroc, INVALID_STATE, other_context_snroc },
kernel/trace/rv/monitors/snroc/snroc.h
47
.initial_state = other_context_snroc,