sh/cpu: Mark play_dead() __noreturn
authorJosh Poimboeuf <jpoimboe@kernel.org>
Tue, 14 Feb 2023 07:05:48 +0000 (23:05 -0800)
committerJosh Poimboeuf <jpoimboe@kernel.org>
Wed, 8 Mar 2023 16:44:24 +0000 (08:44 -0800)
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/03549a74fad9f73576d57e6fc0b5102322f9cff4.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
arch/sh/include/asm/smp-ops.h

index 63866b1595a0d1833fadaf326a896b8dc699a638..97331fcb7b85c9115814627919a2199ecc2c0b4d 100644 (file)
@@ -24,7 +24,7 @@ static inline void plat_smp_setup(void)
        mp_ops->smp_setup();
 }
 
-static inline void play_dead(void)
+static inline void __noreturn play_dead(void)
 {
        mp_ops->play_dead();
        BUG();
@@ -43,7 +43,7 @@ static inline void register_smp_ops(struct plat_smp_ops *ops)
 {
 }
 
-static inline void play_dead(void)
+static inline void __noreturn play_dead(void)
 {
        BUG();
 }