/* As we return to user mode fire off the other CPU schedulers.. this is basically because we don't yet share IRQ's around. This message is rigged to be safe on the 386 - basically it's a hack, so don't look closely for now.. */  #ifdef CONFIG_SMP smp_local_timer_interrupt(regs); smp_send_timer(); #endif 
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