kernel/arch/x86/kernel/cpu/mce/core.c
.. .. @@ -1473,7 +1473,9 @@ 1473 1473 /* If this triggers there is no way to recover. Die hard. */ 1474 1474 BUG_ON(!on_thread_stack() || !user_mode(regs)); 1475 1475 1476 + hard_local_irq_enable();1476 1477 queue_task_work(&m, msg, kill_it); 1478 + hard_local_irq_disable();1477 1479 1478 1480 } else { 1479 1481 /*