task_non_contending 1564 kernel/sched/deadline.c 		task_non_contending(p);
task_non_contending 2337 kernel/sched/deadline.c 		task_non_contending(p);