ARM: local timers: Add A15 architected timer support
authorMarc Zyngier <marc.zyngier@arm.com>
Wed, 11 Jan 2012 17:25:17 +0000 (17:25 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Fri, 27 Apr 2012 12:35:33 +0000 (13:35 +0100)
commit022c03a2d650c641fa0f94dbc9d9ff77f8057678
tree02b674ae7ca92dda57a487877d0625dca341b26a
parentbfa05f4f3398b61205567f3a5cad90804a5a1fdc
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>
arch/arm/Kconfig
arch/arm/include/asm/arch_timer.h [new file with mode: 0644]
arch/arm/kernel/Makefile
arch/arm/kernel/arch_timer.c [new file with mode: 0644]