base->running_timer = timer; 
base->t_base.running_timer = timer; 
static inline void set_running_timer(tvec_base_t *base,					struct timer_list *timer){#ifdef CONFIG_SMP	base->running_timer = timer;#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/55c888d6d09a0df236adfaf8ccf06ff5d0646775/timer.c/clean/kernel/timer.c