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;}