diff options
author | Marc Zyngier <Marc.Zyngier@arm.com> | 2012-09-07 13:09:58 -0400 |
---|---|---|
committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2012-09-15 16:53:33 -0400 |
commit | a1b2dde70419ae947fd7c9c8fcad7da005dc600e (patch) | |
tree | cf8651233dbb03cd3ce4ad891f4c40aabf2fe8a1 /arch/arm/include | |
parent | f48b5f12799dbabba4a9c799a9bef0775b2f977d (diff) |
ARM: 7522/1: arch_timers: register a time/cycle counter
Some subsystems (KVM for example) need access to a cycle counter.
In the KVM case, this is used to measure the time delta between
host and guest in order to accurately generate timer events for
the guest.
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Diffstat (limited to 'arch/arm/include')
-rw-r--r-- | arch/arm/include/asm/arch_timer.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/arch/arm/include/asm/arch_timer.h b/arch/arm/include/asm/arch_timer.h index 62e75475e57e..ad9b155c8262 100644 --- a/arch/arm/include/asm/arch_timer.h +++ b/arch/arm/include/asm/arch_timer.h | |||
@@ -2,11 +2,13 @@ | |||
2 | #define __ASMARM_ARCH_TIMER_H | 2 | #define __ASMARM_ARCH_TIMER_H |
3 | 3 | ||
4 | #include <asm/errno.h> | 4 | #include <asm/errno.h> |
5 | #include <linux/clocksource.h> | ||
5 | 6 | ||
6 | #ifdef CONFIG_ARM_ARCH_TIMER | 7 | #ifdef CONFIG_ARM_ARCH_TIMER |
7 | #define ARCH_HAS_READ_CURRENT_TIMER | 8 | #define ARCH_HAS_READ_CURRENT_TIMER |
8 | int arch_timer_of_register(void); | 9 | int arch_timer_of_register(void); |
9 | int arch_timer_sched_clock_init(void); | 10 | int arch_timer_sched_clock_init(void); |
11 | struct timecounter *arch_timer_get_timecounter(void); | ||
10 | #else | 12 | #else |
11 | static inline int arch_timer_of_register(void) | 13 | static inline int arch_timer_of_register(void) |
12 | { | 14 | { |
@@ -17,6 +19,11 @@ static inline int arch_timer_sched_clock_init(void) | |||
17 | { | 19 | { |
18 | return -ENXIO; | 20 | return -ENXIO; |
19 | } | 21 | } |
22 | |||
23 | static inline struct timecounter *arch_timer_get_timecounter(void) | ||
24 | { | ||
25 | return NULL; | ||
26 | } | ||
20 | #endif | 27 | #endif |
21 | 28 | ||
22 | #endif | 29 | #endif |