|
@@ -19,12 +19,14 @@ extern void tick_unfreeze(void);
|
|
|
extern void tick_suspend_local(void);
|
|
|
/* Should be core only, but XEN resume magic and ARM BL switcher require it */
|
|
|
extern void tick_resume_local(void);
|
|
|
+extern void tick_handover_do_timer(void);
|
|
|
#else /* CONFIG_GENERIC_CLOCKEVENTS */
|
|
|
static inline void tick_init(void) { }
|
|
|
static inline void tick_freeze(void) { }
|
|
|
static inline void tick_unfreeze(void) { }
|
|
|
static inline void tick_suspend_local(void) { }
|
|
|
static inline void tick_resume_local(void) { }
|
|
|
+static inline void tick_handover_do_timer(void) { }
|
|
|
#endif /* !CONFIG_GENERIC_CLOCKEVENTS */
|
|
|
|
|
|
#ifdef CONFIG_TICK_ONESHOT
|