kernel/arch/s390/kernel/nmi.c
.. .. @@ -178,7 +178,7 @@ 178 178 "malfunction (code 0x%016lx).\n", mcck.mcck_code); 179 179 printk(KERN_EMERG "mcck: task: %s, pid: %d.\n", 180 180 current->comm, current->pid); 181 - do_exit(SIGSEGV);181 + make_task_dead(SIGSEGV);182 182 } 183 183 } 184 184 EXPORT_SYMBOL_GPL(s390_handle_mcck);