MSR_IA32_MCG_CAP
m->mcgcap = native_rdmsrq(MSR_IA32_MCG_CAP);
rdmsrq(MSR_IA32_MCG_CAP, cap);
rdmsrq(MSR_IA32_MCG_CAP, cap);
rdmsrq(MSR_IA32_MCG_CAP, cap);
rdmsrq_on_cpu(m->extcpu, MSR_IA32_MCG_CAP, &cap);
rdmsrq(MSR_IA32_MCG_CAP, tmp);
rdmsrq(MSR_IA32_MCG_CAP, cap);
case MSR_IA32_MCG_CAP:
case MSR_IA32_MCG_CAP:
case MSR_IA32_MCG_CAP:
if (rdmsrq_safe(MSR_IA32_MCG_CAP, &cap) ||
case MSR_IA32_MCG_CAP: