hc
2024-01-03 2f7c68cb55ecb7331f2381deb497c27155f32faf
kernel/arch/x86/kernel/process.c
....@@ -720,7 +720,7 @@
720720 }
721721 #endif
722722
723
-void stop_this_cpu(void *dummy)
723
+void __noreturn stop_this_cpu(void *dummy)
724724 {
725725 local_irq_disable();
726726 /*