} 
void nmi_watchdog_tick (struct pt_regs * regs, unsigned reason){	int sum, cpu;	cpu = safe_smp_processor_id();	sum = read_pda(apic_timer_irqs);	if (last_irq_sums[cpu] == sum) {		/*		 * Ayiee, looks like this CPU is stuck ...		 * wait a few IRQs (5 seconds) before doing the oops ...		 */		alert_counter[cpu]++;		if (alert_counter[cpu] == 5*nmi_hz) {			if (notify_die(DIE_NMI, "nmi", regs, reason, 2, SIGINT)							== NOTIFY_STOP) {				alert_counter[cpu] = 0; 				return;			} 			die_nmi("NMI Watchdog detected LOCKUP on CPU%d", regs);		}	} else {		last_irq_sums[cpu] = sum;		alert_counter[cpu] = 0;	}	if (nmi_perfctr_msr)		wrmsr(nmi_perfctr_msr, -(cpu_khz/nmi_hz*1000), -1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/nmi.c/buggy/arch/x86_64/kernel/nmi.c