if (boot_cpu_data.x86_model > 0x3) 
if (boot_cpu_data.x86_model > 0x4) 
void setup_apic_nmi_watchdog (void){	switch (boot_cpu_data.x86_vendor) {	case X86_VENDOR_AMD:		if (boot_cpu_data.x86 != 6 && boot_cpu_data.x86 != 15)			return;		setup_k7_watchdog();		break;	case X86_VENDOR_INTEL:		switch (boot_cpu_data.x86) {		case 6:			if (boot_cpu_data.x86_model > 0xd)				return;			setup_p6_watchdog();			break;		case 15:			if (boot_cpu_data.x86_model > 0x3)				return;			if (!setup_p4_watchdog())				return;			break;		default:			return;		}		break;	default:		return;	}	lapic_nmi_owner = LAPIC_NMI_WATCHDOG;	nmi_active = 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cd3716ab40c6049479d29a74b29107fd7e0e1153/nmi.c/buggy/arch/i386/kernel/nmi.c