/* No check, so can start with slow frequency */ nmi_hz = 1;  /* XXX should check these in EFER */  
static void setup_k7_watchdog(void){	int i;	unsigned int evntsel;	/* No check, so can start with slow frequency */	nmi_hz = 1; 	/* XXX should check these in EFER */	nmi_perfctr_msr = MSR_K7_PERFCTR0;	for(i = 0; i < 4; ++i) {		/* Simulator may not support it */		if (checking_wrmsrl(MSR_K7_EVNTSEL0+i, 0UL))			return;		wrmsrl(MSR_K7_PERFCTR0+i, 0UL);	}	evntsel = K7_EVNTSEL_INT		| K7_EVNTSEL_OS		| K7_EVNTSEL_USR		| K7_NMI_EVENT;	wrmsr(MSR_K7_EVNTSEL0, evntsel, 0);	wrmsrl(MSR_K7_PERFCTR0, -((u64)cpu_khz*1000) / nmi_hz);	apic_write(APIC_LVTPC, APIC_DM_NMI);	evntsel |= K7_EVNTSEL_ENABLE;	wrmsr(MSR_K7_EVNTSEL0, evntsel, 0);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/nmi.c/buggy/arch/x86_64/kernel/nmi.c