 /* * Tickle the softlockup detector too: */ touch_softlockup_watchdog(); 
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;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8446f1d391f3d27e6bf9c43d4cbcdac0ca720417/nmi.c/clean/arch/i386/kernel/nmi.c