Re: [PATCH 11/22] mips/cpu: Mark play_dead() __noreturn
From
Florian Fainelli <>
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@kernel.org>