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