Symbol: MSR_BU_CFG2
sys/arch/x86/x86/identcpu.c
350
val = rdmsr(MSR_BU_CFG2);
sys/arch/x86/x86/identcpu.c
352
wrmsr(MSR_BU_CFG2, val);