MCE_FLUSH_ERAT
if (what == MCE_FLUSH_ERAT) {
handled = mce_flush(MCE_FLUSH_ERAT);
if (mce_flush(MCE_FLUSH_ERAT))