Re: [PATCH] sched: leave sched_setscheduler earlier if possible.

Peter Zijlstra
2011-03-25T10:26:27Z

On Thu, 2011-03-24 at 10:21 -0400, Steven Rostedt wrote:
> > @@ -4998,6 +4998,16 @@ recheck:
>
> Peter, this is why I prefer:
>
> recheck:
> over
> recheck:
>
And you know I prefer to fix the tools ;-)