if (check_vtimer(timer) || !timer->function) { 
if (!timer->function) { 
static inline int prepare_vtimer(struct vtimer_list *timer){	if (check_vtimer(timer) || !timer->function) {		printk("add_virt_timer: uninitialized timer\n");		return -EINVAL;	}	if (!timer->expires || timer->expires > VTIMER_MAX_SLICE) {		printk("add_virt_timer: invalid timer expire value!\n");		return -EINVAL;	}	if (vtimer_pending(timer)) {		printk("add_virt_timer: timer pending\n");		return -EBUSY;	}	timer->cpu = get_cpu();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfc4f94d2ff95fc92127d3e512c1df7cab274fb8/vtime.c/buggy/arch/s390/kernel/vtime.c