MSR_AMD64_SYSCFG
msr = native_rdmsrq(MSR_AMD64_SYSCFG);
rdmsrq(MSR_AMD64_SYSCFG, msr);
if (rdmsr_safe(MSR_AMD64_SYSCFG, &l, &h) < 0)
rdmsr(MSR_AMD64_SYSCFG, lo, hi);
mtrr_wrmsr(MSR_AMD64_SYSCFG, lo, hi);
address = MSR_AMD64_SYSCFG;
rdmsrq(MSR_AMD64_SYSCFG, msr);
case MSR_AMD64_SYSCFG:
address = MSR_AMD64_SYSCFG;
msr_set_bit(MSR_AMD64_SYSCFG, MSR_AMD64_SYSCFG_MFDM_BIT);
msr_clear_bit(MSR_AMD64_SYSCFG, MSR_AMD64_SYSCFG_MFDM_BIT);
rdmsrq(MSR_AMD64_SYSCFG, val);
wrmsrq(MSR_AMD64_SYSCFG, val);
rdmsrq(MSR_AMD64_SYSCFG, val);
rdmsrq(MSR_AMD64_SYSCFG, val);
rdmsrq(MSR_AMD64_SYSCFG, syscfg);
rdmsrq(MSR_AMD64_SYSCFG, msr_val);