if ((time_status & STA_UNSYNC) == 0 && 
if (ntp_synced() && 
irqreturn_t timer_interrupt(int irq, void *dev_id, struct pt_regs * regs){	/* last time the cmos clock got updated */	static long last_rtc_update;#ifndef CONFIG_SMP	profile_tick(CPU_PROFILING, regs);#endif	/* Protect counter clear so that do_gettimeoffset works */	write_seqlock(&xtime_lock);#ifdef CONFIG_SUN4	if((idprom->id_machtype == (SM_SUN4 | SM_4_260)) ||	   (idprom->id_machtype == (SM_SUN4 | SM_4_110))) {		int temp;        	intersil_read_intr(intersil_clock, temp);		/* re-enable the irq */		enable_pil_irq(10);	}#endif	clear_clock_irq();	do_timer(regs);#ifndef CONFIG_SMP	update_process_times(user_mode(regs));#endif	/* Determine when to update the Mostek clock. */	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 */	}	write_sequnlock(&xtime_lock);	return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b149ee2233edf08fb59b11e879a2c5941929bcb8/time.c/clean/arch/sparc/kernel/time.c