if (boot_cpu_data.x86 < 6) 
if (boot_cpu_data.x86 != 15) 
void setup_apic_nmi_watchdog(void){	switch (boot_cpu_data.x86_vendor) {	case X86_VENDOR_AMD:		if (boot_cpu_data.x86 < 6)			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;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/72e76be2fedb4db320a4855d870f731c1242a9d3/nmi.c/clean/arch/x86_64/kernel/nmi.c