 check_timer(timer); 
int mod_timer(struct timer_list *timer, unsigned long expires){	BUG_ON(!timer->function);	check_timer(timer);	/*	 * This is a common optimization triggered by the	 * networking code - if the timer is re-modified	 * to be the same thing then just return:	 */	if (timer->expires == expires && timer_pending(timer))		return 1;	return __mod_timer(timer, expires);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfc4f94d2ff95fc92127d3e512c1df7cab274fb8/timer.c/clean/kernel/timer.c