kernel/arch/alpha/mm/fault.c
.. .. @@ -204,7 +204,7 @@ 204 204 printk(KERN_ALERT "Unable to handle kernel paging request at " 205 205 "virtual address %016lx\n", address); 206 206 die_if_kernel("Oops", regs, cause, (unsigned long*)regs - 16); 207 - do_exit(SIGKILL);207 + make_task_dead(SIGKILL);208 208 209 209 /* We ran out of memory, or some other thing happened to us that 210 210 made us unable to handle the page fault gracefully. */