 if (check_vtimer(timer)) { printk("del_virt_timer: timer not initialized\n"); return -EINVAL; } 
int del_virt_timer(struct vtimer_list *timer){	unsigned long flags;	struct vtimer_queue *vt_list;	if (check_vtimer(timer)) {		printk("del_virt_timer: timer not initialized\n");		return -EINVAL;	}	/* check if timer is pending */	if (!vtimer_pending(timer))		return 0;	vt_list = &per_cpu(virt_cpu_timer, timer->cpu);	spin_lock_irqsave(&vt_list->lock, flags);	/* we don't interrupt a running timer, just let it expire! */	list_del_init(&timer->entry);	/* last timer removed */	if (list_empty(&vt_list->list)) {		vt_list->to_expire = 0;		vt_list->offset = 0;	}	spin_unlock_irqrestore(&vt_list->lock, flags);	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfc4f94d2ff95fc92127d3e512c1df7cab274fb8/vtime.c/clean/arch/s390/kernel/vtime.c