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;
rdmsrq(MSR_AMD64_SYSCFG, val);
wrmsrq(MSR_AMD64_SYSCFG, val);
rdmsrq(MSR_AMD64_SYSCFG, val);
wrmsrq(MSR_AMD64_SYSCFG, val);
rdmsrq(MSR_AMD64_SYSCFG, val);
rdmsrq(MSR_AMD64_SYSCFG, msr_val);