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

Ingo Molnar
2006-05-03T20:33:25Z

* 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