[PATCH 0/9] Clean up SMP IPI support

[Catalin Marinas]

On Mon, 2010-11-15 at 17:55 +0000, Russell King - ARM Linux wrote:
> This series is aimed at cleaning up our SMP IPI support.  As has been
> recently pointed out, we have a spinlock in percpu data, which is not
> very nice.
> 
> If we switch to using the GIC SGIs, one for each IPI function, then
> we don't need the mask of ipi bits indicating what work needs to be
> done.  This allows us to get rid of the troublesome spinlock in
> send_ipi_message().

FWIW, the patches look fine to me (though I have tested them):

Reviewed-by: Catalin Marinas <catalin.marinas at arm.com>