c Zyngier <marc.zyngier@arm.com> 1326302717 +0000
committer Marc Zyngier <marc.zyngier@arm.com> 1335530133 +0100

ARM: local timers: Add A15 architected timer support

Add support for the A15 generic timer and clocksource.
As the timer generates interrupts on a different PPI depending
on the execution mode (normal or secure), it is possible to
register two different PPIs.

Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
®]¯ó–'x