Symbol: fair_server_id
kernel/trace/rv/monitors/deadline/deadline.h
144
return da_get_target_by_id(fair_server_id(task_cpu(tsk)));
kernel/trace/rv/monitors/deadline/deadline.h
162
if (!da_create_empty_storage(fair_server_id(cpu)))
kernel/trace/rv/monitors/deadline/deadline.h
69
return fair_server_id(cpu);