da_get_monitor
reset(da_get_monitor());
reset(da_get_monitor(p));
reset(da_get_monitor(idle_task(cpu)));
da_create_storage(id, target, da_get_monitor(id, target));
__da_handle_event(da_get_monitor(), event, 0);
return __da_handle_start_event(da_get_monitor(), event, 0);
return __da_handle_start_run_event(da_get_monitor(), event, 0);
__da_handle_event(da_get_monitor(tsk), event, tsk->pid);
return __da_handle_start_event(da_get_monitor(tsk), event, tsk->pid);
return __da_handle_start_run_event(da_get_monitor(tsk), event, tsk->pid);
da_mon = da_get_monitor(id, target);
da_mon = da_get_monitor(id, target);
da_mon = da_get_monitor(id, target);
da_mon = da_get_monitor(id, target);
struct da_monitor *da_mon = da_get_monitor(p);
#define ha_get_monitor(...) to_ha_monitor(da_get_monitor(__VA_ARGS__))