da_get_monitor
da_monitor_reset(da_get_monitor());
da_monitor_reset(da_get_monitor(p));
da_monitor_reset(da_get_monitor(idle_task(cpu)));
struct da_monitor *da_mon = da_get_monitor();
da_mon = da_get_monitor();
da_mon = da_get_monitor();
struct da_monitor *da_mon = da_get_monitor(tsk);
da_mon = da_get_monitor(tsk);
da_mon = da_get_monitor(tsk);