[PATCH v8 04/14] ARM: omap4: use remapped PPI interrupts for local timer

[Tony Lindgren]

* Marc Zyngier <marc.zyngier at arm.com> [110705 11:45]:
> Use the normal interrupt scheme for the local timers by using
> a remapped PPI interrupt.
> 
> Tested on a Pandaboard.
> 
> Cc: Tony Lindgren <tony at atomide.com>
> Reviewed-by: Santosh Shilimkar <santosh.shilimkar at ti.com>
> Tested-by: Santosh Shilimkar <santosh.shilimkar at ti.com>
> Signed-off-by: Marc Zyngier <marc.zyngier at arm.com>

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