Symbol: sched_need_resched_opid
kernel/trace/rv/monitors/opid/opid.c
44
if (curr_state == any_opid && event == sched_need_resched_opid)
kernel/trace/rv/monitors/opid/opid.c
64
da_handle_start_run_event(sched_need_resched_opid);