kernel/sched/deadline.c

403 	 * If this is a non-deadline task that has been boosted,  in task_non_contending()
456 	 * If this is a non-deadline task that has been boosted,  in task_contending()
774 	/* for non-boosted task, pi_of(dl_se) == dl_se */  in replenish_dl_new_period()
841 	 * This could be the case for a !-dl task that is boosted.  in replenish_dl_entity()
1125 	 * The task might have been boosted by someone else and might be in the  in dl_task_timer()
1237  * unless it is boosted.
1720 		 * boosted via PI, resulting in a thread that is throttled  in enqueue_task_dl()
1721 		 * and boosted at the same time.  in enqueue_task_dl()
1728 			 * problem if it fires concurrently: boosted threads  in enqueue_task_dl()
1741 		 * being boosted again with no means to replenish the runtime and clear  in enqueue_task_dl()
1746 			printk_deferred_once("sched: DL de-boosted task PID %d: REPLENISH flag missing\n",  in enqueue_task_dl()