offset = next_jiffy_time - *IXP2000_T4_CSR; 
offset = next_jiffy_time - *missing_jiffy_timer_csr; 
unsigned long ixp2000_gettimeoffset (void){ 	unsigned long offset;	offset = next_jiffy_time - *IXP2000_T4_CSR;	return offset / ticks_per_usec;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e4fe19819ef32950541503042f32e71b67edffc7/core.c/buggy/arch/arm/mach-ixp2000/core.c