inc_dl_deadline  1334 kernel/sched/deadline.c static void inc_dl_deadline(struct dl_rq *dl_rq, u64 deadline)
inc_dl_deadline  1369 kernel/sched/deadline.c static inline void inc_dl_deadline(struct dl_rq *dl_rq, u64 deadline) {}