wrmsr(MSR_IA32_EVNTSEL0, 0, 0); 
if (boot_cpu_data.x86 == 15) { wrmsr(MSR_P4_IQ_CCCR0, 0, 0); wrmsr(MSR_P4_CRU_ESCR0, 0, 0); } 
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:		wrmsr(MSR_IA32_EVNTSEL0, 0, 0);		break;	}	nmi_active = -1;	/* tell do_nmi() and others that we're not active any more */	nmi_watchdog = 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/nmi.c/clean/arch/x86_64/kernel/nmi.c