if (worst != MCE_AR_SEVERITY && !kill_current_task)
                goto out;
 
+       /*
+        * Enable instrumentation around the external facilities like
+        * task_work_add() (via queue_task_work()), fixup_exception() etc.
+        * For now, that is. Fixing this properly would need a lot more involved
+        * reorganization.
+        */
+       instrumentation_begin();
+
        /* Fault was in user mode and we need to take some action */
        if ((m.cs & 3) == 3) {
                /* If this triggers there is no way to recover. Die hard. */
                if (m.kflags & MCE_IN_KERNEL_COPYIN)
                        queue_task_work(&m, msg, kill_me_never);
        }
+
+       instrumentation_end();
+
 out:
        mce_wrmsrl(MSR_IA32_MCG_STATUS, 0);
 }