OSDN Git Service

Merge branch 'x86/cpu' into x86/core, to resolve conflicts
[uclinux-h8/linux.git] / arch / x86 / kernel / process.c
index e131d71..b370767 100644 (file)
@@ -747,7 +747,7 @@ bool xen_set_default_idle(void)
 }
 #endif
 
-void stop_this_cpu(void *dummy)
+void __noreturn stop_this_cpu(void *dummy)
 {
        local_irq_disable();
        /*