timer->magic = VTIMER_MAGIC; 
void init_virt_timer(struct vtimer_list *timer){	timer->magic = VTIMER_MAGIC;	timer->function = NULL;	INIT_LIST_HEAD(&timer->entry);	spin_lock_init(&timer->lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfc4f94d2ff95fc92127d3e512c1df7cab274fb8/vtime.c/clean/arch/s390/kernel/vtime.c