Re: [RFC][PATCH -rt] Make futex_wait() use an hrtimer for timeout

Sébastien Dugué
2006-05-04T11:05:53Z

On Wed, 2006-05-03 at 22:38 +0200, Ingo Molnar wrote:
> * Sébastien Dugué <sebastien.dugue@bull.net> wrote:
>
> > This patch modifies futex_wait() to use an hrtimer + schedule() in
> > place of schedule_timeout() in an RT kernel.
>
> nice patch! Applied.
>
> Ingo

Thanks.

Sébastien.