ixp2000_reg_write(IXP2000_T1_CLR, 0); ixp2000_reg_write(IXP2000_T4_CLR, 0);  
void __init ixp2000_init_time(unsigned long tick_rate){	ixp2000_reg_write(IXP2000_T1_CLR, 0);	ixp2000_reg_write(IXP2000_T4_CLR, 0);	ticks_per_jiffy = (tick_rate + HZ/2) / HZ;	ticks_per_usec = tick_rate / 1000000;	ixp2000_reg_write(IXP2000_T1_CLD, ticks_per_jiffy - 1);	ixp2000_reg_write(IXP2000_T1_CTL, (1 << 7));	/*	 * We use T4 as a monotonic counter to track missed jiffies	 */	ixp2000_reg_write(IXP2000_T4_CLD, -1);	ixp2000_reg_write(IXP2000_T4_CTL, (1 << 7)); 	next_jiffy_time = 0xffffffff;	/* register for interrupt */	setup_irq(IRQ_IXP2000_TIMER1, &ixp2000_timer_irq);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e4fe19819ef32950541503042f32e71b67edffc7/core.c/buggy/arch/arm/mach-ixp2000/core.c