On Tue, Jan 11, 2005 at 11:44:33PM -0500, Stephan Uphoff wrote:
> You can also just add the  splclock()/splx in x86_ipi as there is no
> need to protect the atomic bitmaps.

Ayup. Many thanks for the suggestions, I committed that change.

Can the people who had these problems (Fred, Havard?) see if this makes
any change? I tested if the changes work on one of my SMP systems, but
I could never reproduce the bug itself on those in the first place.

- Frank