MSR_DE_CFG
721, 0, MSR_DE_CFG, amd64_errata_set9,
nmsr = msr = rdmsr(MSR_DE_CFG);
wrmsr(MSR_DE_CFG, nmsr);
nmsr = msr = rdmsr(MSR_DE_CFG);
wrmsr(MSR_DE_CFG, nmsr);
case MSR_DE_CFG:
721, 0, MSR_DE_CFG, amd64_errata_set9,
nmsr = msr = rdmsr(MSR_DE_CFG);
wrmsr(MSR_DE_CFG, nmsr);
nmsr = msr = rdmsr(MSR_DE_CFG);
wrmsr(MSR_DE_CFG, nmsr);