 #ifdef CONFIG_NO_IDLE_HZ if (match_posponed) { match_posponed = 0; OSMR0 = initial_match; } #endif 
sa1100_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs){	unsigned int next_match;	write_seqlock(&xtime_lock);	/*	 * Loop until we get ahead of the free running timer.	 * This ensures an exact clock tick count and time accuracy.	 * Since IRQs are disabled at this point, coherence between	 * lost_ticks(updated in do_timer()) and the match reg value is	 * ensured, hence we can use do_gettimeofday() from interrupt	 * handlers.	 */	do {		timer_tick(regs);		OSSR = OSSR_M0;  /* Clear match on timer 0 */		next_match = (OSMR0 += LATCH);	} while ((signed long)(next_match - OSCR) <= 0);	write_sequnlock(&xtime_lock);	return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/569d2c34dcf259b07977835492aa8813d1168230/time.c/clean/arch/arm/mach-sa1100/time.c