return timer->base != NULL; 
return timer->entry.next != NULL; 
static inline int timer_pending(const struct timer_list * timer){	return timer->base != NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/55c888d6d09a0df236adfaf8ccf06ff5d0646775/timer.h/clean/include/linux/timer.h