MSR_PERF_CTL      416 bsp/drv/dev/cpufreq/est.c 	rdmsr(MSR_PERF_CTL, &msr_lo, &msr_hi);
MSR_PERF_CTL      419 bsp/drv/dev/cpufreq/est.c 	wrmsr(MSR_PERF_CTL, msr_lo, msr_hi);