Symbol: sched_waking_opid
kernel/trace/rv/monitors/opid/opid.c
40
else if (curr_state == any_opid && event == sched_waking_opid)
kernel/trace/rv/monitors/opid/opid.c
63
da_handle_start_run_event(sched_waking_opid);