[PATCH v3 2/3] ARM: gic: consolidate PPI handling

[Tony Lindgren]

* Marc Zyngier <marc.zyngier at arm.com> [110923 12:03]:
> PPI handling is a bit of an odd beast. It uses its own low level
> handling code and is hardwired to the local timers (hence lacking
> a registration interface).
> 
> Instead, switch the low handling to the normal SPI handling code.
> PPIs are handled by the handle_percpu_devid_irq flow.
> 
> This also allows the removal of some duplicated code.
> 
> Cc: Kukjin Kim <kgene.kim at samsung.com>
> Cc: David Brown <davidb at codeaurora.org>
> Cc: Bryan Huntsman <bryanh at codeaurora.org>
> Cc: Tony Lindgren <tony at atomide.com>
> Cc: Paul Mundt <lethal at linux-sh.org>
> Cc: Magnus Damm <magnus.damm at gmail.com>
> Cc: Thomas Gleixner <tglx at linutronix.de>
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

For the omap changes:

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

(Sorry had to dig this one from the archive, looks like
the Cc addresses might be left out)