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

[Russell King - ARM Linux]

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".