* K.R. Foley [off-list ref] wrote:

quoted

ah, indeed. I went for a slightly different approach - see the patch 
below. Sending an NMI to all CPUs is not something that is tied to 
KEXEC, it belongs into nmi.c.

	Ingo

Much better I think. It still requires the patch below, which includes 
mach_ipi.h, to build here.

yeah, and an #ifdef CONFIG_SMP to build on UP :-/

	Ingo