ia64 scheduling broken since "ia64 eh, part 14"

[Richard Henderson]

On Wed, Apr 04, 2001 at 05:47:23PM +0100, Bernd Schmidt wrote:
> flush_pending_lists already does the blocking.

Sure enough.  Thanks for noticing.


r~