|
@@ -160,11 +160,13 @@ static inline u64 get_cpu_iowait_time_us(int cpu, u64 *unused) { return -1; }
|
|
|
#ifdef CONFIG_NO_HZ_FULL
|
|
|
extern void tick_nohz_init(void);
|
|
|
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);
|
|
|
#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) { }
|
|
|
#endif
|