|
@@ -58,7 +58,6 @@ struct arch_timer_kvm_info {
|
|
|
|
|
|
extern u32 arch_timer_get_rate(void);
|
|
|
extern u64 (*arch_timer_read_counter)(void);
|
|
|
-extern struct timecounter *arch_timer_get_timecounter(void);
|
|
|
extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void);
|
|
|
|
|
|
#else
|
|
@@ -73,11 +72,6 @@ static inline u64 arch_timer_read_counter(void)
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
-static inline struct timecounter *arch_timer_get_timecounter(void)
|
|
|
-{
|
|
|
- return NULL;
|
|
|
-}
|
|
|
-
|
|
|
#endif
|
|
|
|
|
|
#endif
|