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 <jpoim...@kernel.org>

Acked-by: Florian Fainelli <f.faine...@gmail.com>
--
Florian

Reply via email to