dec_dl_tasks_cs
extern void dec_dl_tasks_cs(struct task_struct *task);
dec_dl_tasks_cs(tsk);
dec_dl_tasks_cs(p);