Symbol: dl_server_update_idle
kernel/sched/idle.c
560
dl_server_update_idle(&rq->fair_server, delta_exec);
kernel/sched/idle.c
562
dl_server_update_idle(&rq->ext_server, delta_exec);
kernel/sched/sched.h
411
extern void dl_server_update_idle(struct sched_dl_entity *dl_se, s64 delta_exec);