wrmsr 419 bsp/drv/dev/cpufreq/est.c wrmsr(MSR_PERF_CTL, msr_lo, msr_hi); wrmsr 37 bsp/drv/x86/include/cpufunc.h void wrmsr(u_int, u_int, u_int);