MSR_IA32_MCx_STATUS
mc1_status = mce_rdmsrq(MSR_IA32_MCx_STATUS(1));
mce_wrmsrq(MSR_IA32_MCx_STATUS(1), 0);
wrmsrq(MSR_IA32_MCx_STATUS(b), m.status);
case MCA_STATUS: return MSR_IA32_MCx_STATUS(bank);
native_write_msr_safe(MSR_IA32_MCx_STATUS(i), 0);