timer: Minimize nohz off overhead

[deliverable/linux.git] / kernel / time / tick-internal.h

diff --git a/kernel/time/tick-internal.h b/kernel/time/tick-internal.h
index 2edde84744df92a99d283a29ec2bb13f1499370e..966a5a6fdd0a03c378debc87baae72672853a6fd 100644 (file)
--- a/kernel/time/tick-internal.h
+++ b/kernel/time/tick-internal.h
@@ -156,9 +156,9 @@ extern unsigned long tick_nohz_active;
 #endif
 
 #if defined(CONFIG_SMP) && defined(CONFIG_NO_HZ_COMMON)
-extern void timers_update_migration(void);
+extern void timers_update_migration(bool update_nohz);
 #else
-static inline void timers_update_migration(void) { }
+static inline void timers_update_migration(bool update_nohz) { }
 #endif
 
 DECLARE_PER_CPU(struct hrtimer_cpu_base, hrtimer_bases);