modify sin led gpio

hc

2024-05-13 9d77db3c730780c8ef5ccd4b66403ff5675cfe4e

 kernel/arch/x86/kernel/process.c
..
..
@@ -720,7 +720,7 @@
720
720
 }
721
721
 #endif
722
722
 
723
-void stop_this_cpu(void *dummy)
723
+void __noreturn stop_this_cpu(void *dummy)
724
724
 {
725
725
 	local_irq_disable();
726
726
 	/*