x86/cpu: Mark play_dead() __noreturn
authorJosh Poimboeuf <jpoimboe@kernel.org>
Tue, 14 Feb 2023 07:05:52 +0000 (23:05 -0800)
committerJosh Poimboeuf <jpoimboe@kernel.org>
Wed, 8 Mar 2023 16:44:26 +0000 (08:44 -0800)
commiteab89405b6b59947ee29cc21fb39ead66142c9b5
treeafac3dd138192d3fc3bd70dfb8948d770e7d8e17
parenta02f50b573b3c90a3633a5ab67435fe4c0de144d
x86/cpu: Mark play_dead() __noreturn

play_dead() doesn't return.  Annotate it as such.  By extension this
also makes arch_cpu_idle_dead() noreturn.

Link: https://lore.kernel.org/r/f3a069e6869c51ccfdda656b76882363bc9fcfa4.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
arch/x86/include/asm/smp.h
arch/x86/kernel/process.c