if (boot_cpu_data.x86_model > 0x3) 
if (boot_cpu_data.x86_model > 0x4) 
static void disable_lapic_nmi_watchdog(void){	if (nmi_active <= 0)		return;	switch (boot_cpu_data.x86_vendor) {	case X86_VENDOR_AMD:		wrmsr(MSR_K7_EVNTSEL0, 0, 0);		break;	case X86_VENDOR_INTEL:		switch (boot_cpu_data.x86) {		case 6:			if (boot_cpu_data.x86_model > 0xd)				break;			wrmsr(MSR_P6_EVNTSEL0, 0, 0);			break;		case 15:			if (boot_cpu_data.x86_model > 0x3)				break;			wrmsr(MSR_P4_IQ_CCCR0, 0, 0);			wrmsr(MSR_P4_CRU_ESCR0, 0, 0);			break;		}		break;	}	nmi_active = -1;	/* tell do_nmi() and others that we're not active any more */	nmi_watchdog = 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cd3716ab40c6049479d29a74b29107fd7e0e1153/nmi.c/buggy/arch/i386/kernel/nmi.c