Re: [PATCH v2 16/24] sparc/cpu: Mark cpu_play_dead() __noreturn

From: Philippe Mathieu-Daudé
Date: Tue Feb 14 2023 - 02:52:49 EST


On 14/2/23 08:05, Josh Poimboeuf wrote:
cpu_play_dead() doesn't return. Annotate it as such. By extension this
also makes arch_cpu_idle_dead() noreturn.

Signed-off-by: Josh Poimboeuf <jpoimboe@xxxxxxxxxx>
---
arch/sparc/include/asm/smp_64.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

Reviewed-by: Philippe Mathieu-Daudé <philmd@xxxxxxxxxx>