modify sin led gpio

hc

2024-05-13 9d77db3c730780c8ef5ccd4b66403ff5675cfe4e

 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.  */