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