return 1; 
return ret; 
int del_timer(struct timer_list *timer){	unsigned long flags;	tvec_base_t *base;	check_timer(timer);repeat: 	base = timer->base;	if (!base)		return 0;	spin_lock_irqsave(&base->lock, flags);	if (base != timer->base) {		spin_unlock_irqrestore(&base->lock, flags);		goto repeat;	}	list_del(&timer->entry);	/* Need to make sure that anybody who sees a NULL base also sees the list ops */	smp_wmb();	timer->base = NULL;	spin_unlock_irqrestore(&base->lock, flags);	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/55c888d6d09a0df236adfaf8ccf06ff5d0646775/timer.c/clean/kernel/timer.c