timer->magic = TIMER_MAGIC; 
void fastcall init_timer(struct timer_list *timer){	timer->entry.next = NULL;	timer->base = &per_cpu(tvec_bases, raw_smp_processor_id()).t_base;	timer->magic = TIMER_MAGIC;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfc4f94d2ff95fc92127d3e512c1df7cab274fb8/timer.c/clean/kernel/timer.c