Symbol: preemptive_wip
kernel/trace/rv/monitors/wip/wip.h
45
{ INVALID_STATE, preemptive_wip, non_preemptive_wip },
kernel/trace/rv/monitors/wip/wip.h
47
.initial_state = preemptive_wip,