if ((time_status & STA_UNSYNC) == 0 && 
if (ntp_synced() && 
static irqreturn_t timer_interrupt(int irq, void *dummy, struct pt_regs * regs){	/* last time the cmos clock got updated */	static long last_rtc_update=0;	/* may need to kick the hardware timer */	if (mach_tick)	  mach_tick();	write_seqlock(&xtime_lock);	do_timer(regs);#ifndef CONFIG_SMP	update_process_times(user_mode(regs));#endif	if (current->pid)		profile_tick(CPU_PROFILING, regs);	/*	 * 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 > last_rtc_update + 660 &&	    (xtime.tv_nsec / 1000) >= 500000 - ((unsigned) TICK_SIZE) / 2 &&	    (xtime.tv_nsec  / 1000) <= 500000 + ((unsigned) TICK_SIZE) / 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 */	}#ifdef CONFIG_HEARTBEAT	/* use power LED as a heartbeat instead -- much more useful	   for debugging -- based on the version for PReP by Cort */	/* acts like an actual heart beat -- ie thump-thump-pause... */	if (mach_heartbeat) {	    static unsigned cnt = 0, period = 0, dist = 0;	    if (cnt == 0 || cnt == dist)		mach_heartbeat( 1 );	    else if (cnt == 7 || cnt == dist+7)		mach_heartbeat( 0 );	    if (++cnt > period) {		cnt = 0;		/* The hyperbolic function below modifies the heartbeat period		 * length in dependency of the current (5min) load. It goes		 * through the points f(0)=126, f(1)=86, f(5)=51,		 * f(inf)->30. */		period = ((672<<FSHIFT)/(5*avenrun[0]+(7<<FSHIFT))) + 30;		dist = period / 4;	    }	}#endif /* CONFIG_HEARTBEAT */	write_sequnlock(&xtime_lock);	return(IRQ_HANDLED);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b149ee2233edf08fb59b11e879a2c5941929bcb8/time.c/buggy/arch/m68knommu/kernel/time.c