|
@@ -163,12 +163,14 @@ extern int tick_nohz_full_cpu(int cpu);
|
|
|
extern void tick_nohz_full_check(void);
|
|
|
extern void tick_nohz_full_kick(void);
|
|
|
extern void tick_nohz_full_kick_all(void);
|
|
|
+extern void tick_nohz_task_switch(struct task_struct *tsk);
|
|
|
#else
|
|
|
static inline void tick_nohz_init(void) { }
|
|
|
static inline int tick_nohz_full_cpu(int cpu) { return 0; }
|
|
|
static inline void tick_nohz_full_check(void) { }
|
|
|
static inline void tick_nohz_full_kick(void) { }
|
|
|
static inline void tick_nohz_full_kick_all(void) { }
|
|
|
+static inline void tick_nohz_task_switch(struct task_struct *tsk) { }
|
|
|
#endif
|
|
|
|
|
|
|