do_timer_interrupt(irq, NULL, regs); 
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	/* do it again in 60 s */ last_rtc_update = xtime.tv_sec - 600; } 
irqreturn_t timer_interrupt(int irq, void *dev_id, struct pt_regs *regs){	write_seqlock(&xtime_lock);	do_timer_interrupt(irq, NULL, regs);	write_sequnlock(&xtime_lock);	return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2757a71c3122c7653e3dd8077ad6ca71efb1d450/time.c/clean/arch/m32r/kernel/time.c