[PATCH v2 02/16] ARM: smp: Add an IPI handler callable from C code

[Tony Lindgren]

* Marc Zyngier <marc.zyngier at arm.com> [110926 03:33]:
> In order to be able to handle IPI directly from C code instead of
> assembly code, introduce handle_IPI(), which is modeled after handle_IRQ().
> 
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

Tested-by: Tony Lindgren <tony at atomide.com>