if ((time_status & STA_UNSYNC) == 0 && 
if (ntp_synced() && 
timer_interrupt(int irq, void *dev_id, struct pt_regs *regs){	/* acknowledge the timer irq */#ifdef USE_CASCADE_TIMERS	*R_TIMER_CTRL =		IO_FIELD( R_TIMER_CTRL, timerdiv1, 0) |		IO_FIELD( R_TIMER_CTRL, timerdiv0, 0) |		IO_STATE( R_TIMER_CTRL, i1, clr) |		IO_STATE( R_TIMER_CTRL, tm1, run) |		IO_STATE( R_TIMER_CTRL, clksel1, cascade0) |		IO_STATE( R_TIMER_CTRL, i0, clr) |		IO_STATE( R_TIMER_CTRL, tm0, run) |		IO_STATE( R_TIMER_CTRL, clksel0, c6250kHz);#else	*R_TIMER_CTRL = r_timer_ctrl_shadow | 		IO_STATE(R_TIMER_CTRL, i0, clr);#endif	/* reset watchdog otherwise it resets us! */	reset_watchdog();		/* call the real timer interrupt handler */	do_timer(regs);	        cris_do_profile(regs); /* Save profiling information */	/*	 * If we have an externally synchronized Linux clock, then update	 * CMOS clock accordingly every ~11 minutes. Set_rtc_mmss() has to be	 * called as close as possible to 500 ms before the new second starts.	 *	 * The division here is not time critical since it will run once in 	 * 11 minutes	 */	if ((time_status & STA_UNSYNC) == 0 &&	    xtime.tv_sec > last_rtc_update + 660 &&	    (xtime.tv_nsec / 1000) >= 500000 - (tick_nsec / 1000) / 2 &&	    (xtime.tv_nsec / 1000) <= 500000 + (tick_nsec / 1000) / 2) {		if (set_rtc_mmss(xtime.tv_sec) == 0)			last_rtc_update = xtime.tv_sec;		else			last_rtc_update = xtime.tv_sec - 600; /* do it again in 60 s */	}        return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b149ee2233edf08fb59b11e879a2c5941929bcb8/time.c/buggy/arch/cris/arch-v10/kernel/time.c