Symbol: ext_server_id
kernel/trace/rv/monitors/deadline/deadline.h
146
return da_get_target_by_id(ext_server_id(task_cpu(tsk)));
kernel/trace/rv/monitors/deadline/deadline.h
165
!da_create_empty_storage(ext_server_id(cpu)))
kernel/trace/rv/monitors/deadline/deadline.h
71
return ext_server_id(cpu);