|
@@ -643,17 +643,21 @@ void tick_setup_sched_timer(void)
|
|
|
ts->nohz_mode = NOHZ_MODE_HIGHRES;
|
|
|
#endif
|
|
|
}
|
|
|
+#endif /* HIGH_RES_TIMERS */
|
|
|
|
|
|
+#if defined CONFIG_NO_HZ || defined CONFIG_HIGH_RES_TIMERS
|
|
|
void tick_cancel_sched_timer(int cpu)
|
|
|
{
|
|
|
struct tick_sched *ts = &per_cpu(tick_cpu_sched, cpu);
|
|
|
|
|
|
+# ifdef CONFIG_HIGH_RES_TIMERS
|
|
|
if (ts->sched_timer.base)
|
|
|
hrtimer_cancel(&ts->sched_timer);
|
|
|
+# endif
|
|
|
|
|
|
ts->nohz_mode = NOHZ_MODE_INACTIVE;
|
|
|
}
|
|
|
-#endif /* HIGH_RES_TIMERS */
|
|
|
+#endif
|
|
|
|
|
|
/**
|
|
|
* Async notification about clocksource changes
|