void __init nmi_watchdog_default(void) 
void __cpuinit nmi_watchdog_default(void) 
void __init nmi_watchdog_default(void){	if (nmi_watchdog != NMI_DEFAULT)		return;	if (nmi_known_cpu())		nmi_watchdog = NMI_LOCAL_APIC;	else		nmi_watchdog = NMI_IO_APIC;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/nmi.c/buggy/arch/x86_64/kernel/nmi.c