Re: [PATCH 11/22] mips/cpu: Mark play_dead() __noreturn

From: Florian Fainelli
Date: Mon Feb 06 2023 - 17:37:29 EST


On 2/3/23 14:05, Josh Poimboeuf wrote:
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>

Acked-by: Florian Fainelli <f.fainelli@xxxxxxxxx>
--
Florian