Commit 93c0edff authored by Josh Poimboeuf's avatar Josh Poimboeuf
Browse files

ia64/cpu: Mark play_dead() __noreturn 



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

Reviewed-by: default avatarPhilippe Mathieu-Daudé <philmd@linaro.org>
Link: https://lore.kernel.org/r/7575bb38417bd8bcb5be980443f99cab29319342.1676358308.git.jpoimboe@kernel.org


Signed-off-by: default avatarJosh Poimboeuf <jpoimboe@kernel.org>
parent 1b2442a8

arch/ia64/kernel/process.c

+2 −2
Original line number Diff line number Diff line
@@ -201,7 +201,7 @@ __setup("nohalt", nohalt_setup); 


#ifdef CONFIG_HOTPLUG_CPU

/* We don't actually take CPU down, just spin without interrupts. */

static inline void play_dead(void)

static inline void __noreturn play_dead(void)

{

	unsigned int this_cpu = smp_processor_id();
@@ -219,7 +219,7 @@ static inline void play_dead(void) 
	BUG();

}

#else

static inline void play_dead(void)

static inline void __noreturn play_dead(void)

{

	BUG();

}