[PATCH] ARM: smp: Fix Unknown IPI message 0x1

[Catalin Marinas]

On Mon, 2011-01-17 at 12:19 +0000, Russell King - ARM Linux wrote:
> On Mon, Jan 17, 2011 at 05:38:11PM +0530, Santosh Shilimkar wrote:
> > This should be ok. May be Catalin can comment on choice of SGI1 in
> > generic smp_cross_call().
> 
> It's something that came from ARMs early SMP work (in 2002 iirc), and
> was carried forward.  What I don't know is whether there was any boot
> protocol documentation produced which said "you will wait for any SGI"
> or "you will wait for SGI1".

At least on the ARM Ltd platforms, the boot monitor waits for any
interrupt (it is in WFI). I can't tell about other platforms.

-- 
Catalin