Lines Matching full:boosted

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