Symbol: __dl_overflow
kernel/sched/deadline.c
1909
if (__dl_overflow(dl_b, cap, old_bw, new_bw))
kernel/sched/deadline.c
3565
!__dl_overflow(dl_b, cap, 0, new_bw)) {
kernel/sched/deadline.c
3571
!__dl_overflow(dl_b, cap, p->dl.dl_bw, new_bw)) {
kernel/sched/deadline.c
3741
if (__dl_overflow(cur_dl_b, cap, 0, 0))
kernel/sched/deadline.c
3772
overflow = __dl_overflow(dl_b, cap, 0, dl_bw);
kernel/sched/deadline.c
3812
overflow = __dl_overflow(dl_b, cap, dl_server_bw, 0);