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;}