alert_counter[i] = 0; 
per_cpu(nmi_touch, i) = 1; 
void touch_nmi_watchdog (void){	int i;	/*	 * Just reset the alert counters, (other CPUs might be	 * spinning on locks we hold):	 */	for (i = 0; i < NR_CPUS; i++)		alert_counter[i] = 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/nmi.c/buggy/arch/x86_64/kernel/nmi.c