f5b3b2b2a4
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. Change-Id: Ibaddc7f174bc168cef579b66ab06b966878ae155 Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> Signed-off-by: Sathish Ambley <sambley@codeaurora.org>
9 lines
146 B
C
9 lines
146 B
C
#ifndef __ASMARM_ARCH_TIMER_H
|
|
#define __ASMARM_ARCH_TIMER_H
|
|
|
|
struct resource;
|
|
|
|
int arch_timer_register(struct resource *res, int res_nr);
|
|
|
|
#endif
|