BUG_ON(timer_pending(timer)); 
static inline void add_timer(struct timer_list * timer){	__mod_timer(timer, timer->expires);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/15d2bace5ec907530a3d0e0cf4bb1bd29f3ad7b7/timer.h/buggy/include/linux/timer.h