 touch_softlockup_watchdog(); 
void touch_nmi_watchdog (void){	int i;	/* 	 * Tell other CPUs to reset their alert counters. We cannot	 * do it ourselves because the alert count increase is not	 * atomic.	 */	for (i = 0; i < NR_CPUS; i++)		per_cpu(nmi_touch, i) = 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8446f1d391f3d27e6bf9c43d4cbcdac0ca720417/nmi.c/clean/arch/x86_64/kernel/nmi.c