static void __devinit init_timers_cpu(int cpu){	int j;	tvec_base_t *base;       	base = &per_cpu(tvec_bases, cpu);	spin_lock_init(&base->lock);	for (j = 0; j < TVN_SIZE; j++) {		INIT_LIST_HEAD(base->tv5.vec + j);		INIT_LIST_HEAD(base->tv4.vec + j);		INIT_LIST_HEAD(base->tv3.vec + j);		INIT_LIST_HEAD(base->tv2.vec + j);	}	for (j = 0; j < TVR_SIZE; j++)		INIT_LIST_HEAD(base->tv1.vec + j);	base->timer_jiffies = jiffies;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/55c888d6d09a0df236adfaf8ccf06ff5d0646775/timer.c/clean/kernel/timer.c