kernel/sched/deadline.c

419 	 * If this is a non-deadline task that has been boosted,  in task_non_contending()
480 	 * If this is a non-deadline task that has been boosted,  in task_contending()
776 	/* for non-boosted task, pi_of(dl_se) == dl_se */  in replenish_dl_new_period()
855 	 * This could be the case for a !-dl task that is boosted.  in replenish_dl_entity()
1287 	 * The task might have been boosted by someone else and might be in the  in dl_task_timer()
1385  * unless it is boosted.
2105 		 * boosted via PI, resulting in a thread that is throttled  in enqueue_task_dl()
2106 		 * and boosted at the same time.  in enqueue_task_dl()
2113 			 * problem if it fires concurrently: boosted threads  in enqueue_task_dl()
2131 		 * being boosted again with no means to replenish the runtime and clear  in enqueue_task_dl()
2136 			printk_deferred_once("sched: DL de-boosted task PID %d: REPLENISH flag missing\n",  in enqueue_task_dl()