Merge branches 'timers-core-for-linus' and 'timers-urgent-for-linus' of git://git...
[cascardo/linux.git] / kernel / sched / rt.c
index e3cc163..8ec86ab 100644 (file)
@@ -64,7 +64,7 @@ static void start_rt_bandwidth(struct rt_bandwidth *rt_b)
        raw_spin_unlock(&rt_b->rt_runtime_lock);
 }
 
-#ifdef CONFIG_SMP
+#if defined(CONFIG_SMP) && defined(HAVE_RT_PUSH_IPI)
 static void push_irq_work_func(struct irq_work *work);
 #endif