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.

x86/cpu: Mark play_dead() __noreturn

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

Link: https://lore.kernel.org/r/f3a069e6869c51ccfdda656b76882363bc9fcfa4.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>

Josh Poimboeuf eab89405 a02f50b5

+2 -2
+1 -1
arch/x86/include/asm/smp.h
··· 93 93 smp_ops.cpu_die(cpu); 94 94 } 95 95 96 - static inline void play_dead(void) 96 + static inline void __noreturn play_dead(void) 97 97 { 98 98 smp_ops.play_dead(); 99 99 BUG();
+1 -1
arch/x86/kernel/process.c
··· 715 715 } 716 716 717 717 #ifndef CONFIG_SMP 718 - static inline void play_dead(void) 718 + static inline void __noreturn play_dead(void) 719 719 { 720 720 BUG(); 721 721 }