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

Philippe Mathieu-Daudé philmd at linaro.org
Tue Feb 14 18:52:14 AEDT 2023


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 at kernel.org>
> ---
>   arch/sparc/include/asm/smp_64.h | 2 +-
>   1 file changed, 1 insertion(+), 1 deletion(-)

Reviewed-by: Philippe Mathieu-Daudé <philmd at linaro.org>



More information about the Linuxppc-dev mailing list