 check_timer(timer); 
int del_timer(struct timer_list *timer){	timer_base_t *base;	unsigned long flags;	int ret = 0;	check_timer(timer);	if (timer_pending(timer)) {		base = lock_timer_base(timer, &flags);		if (timer_pending(timer)) {			detach_timer(timer, 1);			ret = 1;		}		spin_unlock_irqrestore(&base->lock, flags);	}	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfc4f94d2ff95fc92127d3e512c1df7cab274fb8/timer.c/clean/kernel/timer.c