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