wrmsr(MSR_K7_PERFCTR0, -(cpu_khz/nmi_hz*1000), -1); 
wrmsrl(MSR_K7_PERFCTR0, -((u64)cpu_khz * 1000 / nmi_hz)); 
static void setup_k7_watchdog(void){	int i;	unsigned int evntsel;	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)) {			nmi_perfctr_msr = 0;			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);	wrmsr(MSR_K7_PERFCTR0, -(cpu_khz/nmi_hz*1000), -1);	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/42ac8ff2ce58138ba1339296406bde6636792bd8/nmi.c/clean/arch/x86_64/kernel/nmi.c