if ((time_status & STA_UNSYNC) == 0 && 
if (ntp_synced() && 
static inline void do_timer_interrupt(int irq, struct pt_regs *regs){	unsigned long long current_ctc;	asm ("getcon cr62, %0" : "=r" (current_ctc));	ctc_last_interrupt = (unsigned long) current_ctc;	do_timer(regs);#ifndef CONFIG_SMP	update_process_times(user_mode(regs));#endif	profile_tick(CPU_PROFILING, regs);#ifdef CONFIG_HEARTBEAT	{		extern void heartbeat(void);		heartbeat();	}#endif	/*	 * If we have an externally synchronized Linux clock, then update	 * RTC 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_time(xtime.tv_sec) == 0)			last_rtc_update = xtime.tv_sec;		else			last_rtc_update = xtime.tv_sec - 600; /* do it again in 60 s */	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b149ee2233edf08fb59b11e879a2c5941929bcb8/time.c/clean/arch/sh64/kernel/time.c