Symbol: da_get_target_by_id
kernel/trace/rv/monitors/deadline/deadline.h
145
return da_get_target_by_id(fair_server_id(task_cpu(tsk)));
kernel/trace/rv/monitors/deadline/deadline.h
147
return da_get_target_by_id(ext_server_id(task_cpu(tsk)));