while ((next_jiffy_time - *IXP2000_T4_CSR) > ticks_per_jiffy) { 
while ((next_jiffy_time - *missing_jiffy_timer_csr) > ticks_per_jiffy) { 
static int ixp2000_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs){	write_seqlock(&xtime_lock);	/* clear timer 1 */	ixp2000_reg_write(IXP2000_T1_CLR, 1);		while ((next_jiffy_time - *IXP2000_T4_CSR) > ticks_per_jiffy) {		timer_tick(regs);		next_jiffy_time -= ticks_per_jiffy;	}	write_sequnlock(&xtime_lock);	return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e4fe19819ef32950541503042f32e71b67edffc7/core.c/buggy/arch/arm/mach-ixp2000/core.c