if (time_status & STA_UNSYNC || set_rtc == NULL) 
if (!ntp_synced() || set_rtc == NULL) 
static inline void do_set_rtc(void){	if (time_status & STA_UNSYNC || set_rtc == NULL)		return;	if (next_rtc_update &&	    time_before((unsigned long)xtime.tv_sec, next_rtc_update))		return;	if (xtime.tv_nsec < 500000000 - ((unsigned) tick_nsec >> 1) &&	    xtime.tv_nsec >= 500000000 + ((unsigned) tick_nsec >> 1))		return;	if (set_rtc())		/*		 * rtc update failed.  Try again in 60s		 */		next_rtc_update = xtime.tv_sec + 60;	else		next_rtc_update = xtime.tv_sec + 660;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b149ee2233edf08fb59b11e879a2c5941929bcb8/time.c/buggy/arch/arm/kernel/time.c