Symbol: __da_handle_event
include/rv/da_monitor.h
768
__da_handle_event(da_get_monitor(), event, 0);
include/rv/da_monitor.h
809
__da_handle_event(da_get_monitor(tsk), event, tsk->pid);
include/rv/da_monitor.h
855
__da_handle_event(da_mon, event, id);