MSR_AMD64_DC_CFG
if (native_read_msr_safe(MSR_AMD64_DC_CFG, &val))
native_write_msr_safe(MSR_AMD64_DC_CFG, val);
case MSR_AMD64_DC_CFG: