hc
2024-02-20 102a0743326a03cd1a1202ceda21e175b7d3575c
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 /*