Re: NMI problems with Dell SMP Xeons

[Andi Kleen]

> The "send_IPI_mask_sequence()" function also seems like a perfectly
> valid option (except for the comments, which are easy enough to
> change). IMHO it's just not as pretty, especially if it's to be used
> for all broadcast IPIs (rather than just for broadcast NMIs) - I'd be
> tempted to do an "#ifdef BORKED_DELL" around it in that case. :-)

It's not only that Dell that has trouble with broadcasts. On newer platforms
which support CPU hotplug there are races at the hardware level with
broadcasting. That is why we're moving away from it.

Not sure why this particular case got missed. Ashok might want to comment -
he did the hotplug work.

-Andi
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/