On Mon, Jun 11, 2012 at 10:41:15AM -0700, Stephen Boyd wrote:

On 06/11/12 10:18, Nicolas Pitre wrote:

quoted

It certainly works for all the targets I'm looking at right now.  In 
those cases the boot protocol couldn't care less about the IPI number as 
the point is only to kick the target CPU out of WFI.

And that message certainly has to go as it may be triggered multiple 
times per second in some use cases here.

Last time this came up I thought we covered most of the platforms?

OMAP, Realview, Versatile Express, and MSM are covered by this thread

http://lists.infradead.org/pipermail/linux-arm-kernel/2011-January/039275.html

Ok, in that case I've just committed three patches to make those platforms
use SGI0 instead of SGI1.