inc_dl_tasks_cs
static inline void inc_dl_tasks_cs(struct task_struct *task) { }
void inc_dl_tasks_cs(struct task_struct *p)