nmi_tick(); 
integrator_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs){	volatile TimerStruct_t *timer1 = (volatile TimerStruct_t *)TIMER1_VA_BASE;	write_seqlock(&xtime_lock);	/*	 * clear the interrupt	 */	timer1->TimerClear = 1;	/*	 * the clock tick routines are only processed on the	 * primary CPU	 */	if (hard_smp_processor_id() == 0) {		nmi_tick();		timer_tick(regs);#ifdef CONFIG_SMP		smp_send_timer();#endif	}#ifdef CONFIG_SMP	/*	 * this is the ARM equivalent of the APIC timer interrupt	 */	update_process_times(user_mode(regs));#endif /* CONFIG_SMP */	write_sequnlock(&xtime_lock);	return IRQ_HANDLED;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a507ef3ac68f0671fdd3f824885cd7f1ea1040b1/core.c/buggy/arch/arm/mach-integrator/core.c