MCE_DISPOSITION_RECOVERED
mce->disposition = MCE_DISPOSITION_RECOVERED;
evt->disposition == MCE_DISPOSITION_RECOVERED ?
if (vcpu->arch.mce_evt.disposition == MCE_DISPOSITION_RECOVERED)
mce_evt.disposition = MCE_DISPOSITION_RECOVERED;
} else if (evt->disposition == MCE_DISPOSITION_RECOVERED) {
} else if (evt->disposition == MCE_DISPOSITION_RECOVERED) {