Symbol: __da_handle_start_run_event
include/rv/da_monitor.h
796
return __da_handle_start_run_event(da_get_monitor(), event, 0);
include/rv/da_monitor.h
837
return __da_handle_start_run_event(da_get_monitor(tsk), event, tsk->pid);
include/rv/da_monitor.h
897
return __da_handle_start_run_event(da_mon, event, id);