#include <linux/config.h>
#include <linux/list.h>
#include <linux/spinlock.h>
+#include <linux/stddef.h>
struct tvec_t_base_s;
}
#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);