int __init check_nmi_watchdog (void) 
static int __init check_nmi_watchdog(void) 
int __init check_nmi_watchdog (void){	unsigned int prev_nmi_count[NR_CPUS];	int cpu;	printk(KERN_INFO "testing NMI watchdog ... ");	for (cpu = 0; cpu < NR_CPUS; cpu++)		prev_nmi_count[cpu] = per_cpu(irq_stat, cpu).__nmi_count;	local_irq_enable();	mdelay((10*1000)/nmi_hz); // wait 10 ticks	/* FIXME: Only boot CPU is online at this stage.  Check CPUs           as they come up. */	for (cpu = 0; cpu < NR_CPUS; cpu++) {#ifdef CONFIG_SMP		/* Check cpu_callin_map here because that is set		   after the timer is started. */		if (!cpu_isset(cpu, cpu_callin_map))			continue;#endif		if (nmi_count(cpu) - prev_nmi_count[cpu] <= 5) {			printk("CPU#%d: NMI appears to be stuck!\n", cpu);			nmi_active = 0;			lapic_nmi_owner &= ~LAPIC_NMI_WATCHDOG;			return -1;		}	}	printk("OK.\n");	/* now that we know it works we can reduce NMI frequency to	   something more reasonable; makes a difference in some configs */	if (nmi_watchdog == NMI_LOCAL_APIC)		nmi_hz = 1;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/67701ae9767534534d3710664037dfde2cc04935/nmi.c/clean/arch/i386/kernel/nmi.c