}
#ifdef CONFIG_SMP
- extern int del_timer_sync(struct timer_list * timer);
+ extern int del_timer_sync(struct timer_list *timer);
+ extern int del_singleshot_timer_sync(struct timer_list *timer);
#else
# define del_timer_sync(t) del_timer(t)
+# define del_singleshot_timer_sync(t) del_timer(t)
#endif
extern void init_timers(void);