tjh.dev / kernel
Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

xtensa/cpu: Mark cpu_die() __noreturn

cpu_die() doesn't return. Annotate it as such. By extension this also
makes arch_cpu_idle_dead() noreturn.

Acked-by: Max Filippov <jcmvbkbc@gmail.com>
Link: https://lore.kernel.org/r/ad801544cab7c26a0f3bbf7cfefb67303f4cd866.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>

Josh Poimboeuf 69dee6f0 d08e12e8

+1 -1
+1 -1
arch/xtensa/include/asm/smp.h
··· 33 33 34 34 void __cpu_die(unsigned int cpu); 35 35 int __cpu_disable(void); 36 - void cpu_die(void); 36 + void __noreturn cpu_die(void); 37 37 void cpu_restart(void); 38 38 39 39 #endif /* CONFIG_HOTPLUG_CPU */