hc
2024-02-20 102a0743326a03cd1a1202ceda21e175b7d3575c
kernel/arch/alpha/mm/fault.c
....@@ -204,7 +204,7 @@
204204 printk(KERN_ALERT "Unable to handle kernel paging request at "
205205 "virtual address %016lx\n", address);
206206 die_if_kernel("Oops", regs, cause, (unsigned long*)regs - 16);
207
- do_exit(SIGKILL);
207
+ make_task_dead(SIGKILL);
208208
209209 /* We ran out of memory, or some other thing happened to us that
210210 made us unable to handle the page fault gracefully. */