Re: [PATCH] sched: Fix PI handling vs sched_setscheduler()

[Peter Zijlstra]

On Wed, Jan 20, 2016 at 10:34:21AM +0000, Juri Lelli wrote:
> On 20/01/16 11:24, Peter Zijlstra wrote:
> > + * ENQUEUE_REPLENISH - push the CBS slot forward
> 
> 
>  * ENQUEUE_REPLENISH - CBS (replenish runtime and postpone deadline)
> 
> Maybe? :)

Done, thanks!