Symbol: MSR_AMD_DE_CFG
sys/platform/pc64/x86_64/initcpu.c
270
msr = rdmsr(MSR_AMD_DE_CFG);
sys/platform/pc64/x86_64/initcpu.c
276
wrmsr(MSR_AMD_DE_CFG, msr);