Symbol: __dl_update
kernel/sched/deadline.c
193
__dl_update(dl_b, (s32)tsk_bw / cpus);
kernel/sched/deadline.c
200
__dl_update(dl_b, -((s32)tsk_bw / cpus));