if ((time_status & STA_UNSYNC) == 0 
if (ntp_synced() 
irqreturn_t timer_interrupt(int irq, void *dev, struct pt_regs * regs){	unsigned long delta;	__u32 now;	long nticks;#ifndef CONFIG_SMP	/* Not SMP, do kernel PC profiling here.  */	profile_tick(CPU_PROFILING, regs);#endif	write_seqlock(&xtime_lock);	/*	 * Calculate how many ticks have passed since the last update,	 * including any previous partial leftover.  Save any resulting	 * fraction for the next pass.	 */	now = rpcc();	delta = now - state.last_time;	state.last_time = now;	delta = delta * state.scaled_ticks_per_cycle + state.partial_tick;	state.partial_tick = delta & ((1UL << FIX_SHIFT) - 1); 	nticks = delta >> FIX_SHIFT;	while (nticks > 0) {		do_timer(regs);#ifndef CONFIG_SMP		update_process_times(user_mode(regs));#endif		nticks--;	}	/*	 * 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.	 */	if ((time_status & STA_UNSYNC) == 0	    && xtime.tv_sec > state.last_rtc_update + 660	    && xtime.tv_nsec >= 500000 - ((unsigned) TICK_SIZE) / 2	    && xtime.tv_nsec <= 500000 + ((unsigned) TICK_SIZE) / 2) {		int tmp = set_rtc_mmss(xtime.tv_sec);		state.last_rtc_update = xtime.tv_sec - (tmp ? 600 : 0);	}	write_sequnlock(&xtime_lock);	return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b149ee2233edf08fb59b11e879a2c5941929bcb8/time.c/buggy/arch/alpha/kernel/time.c