kernel/include/linux/timer.h
.. .. @@ -176,7 +176,7 @@ 176 176 177 177 extern int try_to_del_timer_sync(struct timer_list *timer); 178 178 179 -#ifdef CONFIG_SMP179 +#if defined(CONFIG_SMP) || defined(CONFIG_PREEMPT_RT_FULL)180 180 extern int del_timer_sync(struct timer_list *timer); 181 181 #else 182 182 # define del_timer_sync(t) del_timer(t)