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