case X86_VENDOR_INTEL: if (boot_cpu_data.x86 != 15) return; if (!setup_p4_watchdog()) return; break;  
void setup_apic_nmi_watchdog(void){	switch (boot_cpu_data.x86_vendor) {	case X86_VENDOR_AMD:		if (boot_cpu_data.x86 != 15)			return;		if (strstr(boot_cpu_data.x86_model_id, "Screwdriver"))			return;		setup_k7_watchdog();		break;	default:		return;	}	lapic_nmi_owner = LAPIC_NMI_WATCHDOG;	nmi_active = 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/nmi.c/buggy/arch/x86_64/kernel/nmi.c