nmi_watchdog = nmi; 
nmi_watchdog = nmi; 
int __init setup_nmi_watchdog(char *str){	int nmi;	if (!strncmp(str,"panic",5)) {		panic_on_timeout = 1;		str = strchr(str, ',');		if (!str)			return 1;		++str;	}	get_option(&str, &nmi);	if (nmi >= NMI_INVALID)		return 0;		nmi_watchdog = nmi;	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/nmi.c/buggy/arch/x86_64/kernel/nmi.c