[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <f3a069e6869c51ccfdda656b76882363bc9fcfa4.1676358308.git.jpoimboe@kernel.org>
Date: Mon, 13 Feb 2023 23:05:52 -0800
From: Josh Poimboeuf <jpoimboe@...nel.org>
To: linux-kernel@...r.kernel.org
Cc: jgross@...e.com, richard.henderson@...aro.org,
ink@...assic.park.msu.ru, mattst88@...il.com,
linux-alpha@...r.kernel.org, linux@...linux.org.uk,
linux-arm-kernel@...ts.infradead.org, catalin.marinas@....com,
will@...nel.org, guoren@...nel.org, linux-csky@...r.kernel.org,
linux-ia64@...r.kernel.org, chenhuacai@...nel.org,
kernel@...0n.name, loongarch@...ts.linux.dev, f.fainelli@...il.com,
bcm-kernel-feedback-list@...adcom.com, tsbogend@...ha.franken.de,
linux-mips@...r.kernel.org, jiaxun.yang@...goat.com,
mpe@...erman.id.au, npiggin@...il.com, christophe.leroy@...roup.eu,
linuxppc-dev@...ts.ozlabs.org, ysato@...rs.sourceforge.jp,
dalias@...c.org, linux-sh@...r.kernel.org, davem@...emloft.net,
sparclinux@...r.kernel.org, tglx@...utronix.de, mingo@...hat.com,
bp@...en8.de, dave.hansen@...ux.intel.com, x86@...nel.org,
hpa@...or.com, chris@...kel.net, jcmvbkbc@...il.com,
linux-xtensa@...ux-xtensa.org, peterz@...radead.org,
juri.lelli@...hat.com, vincent.guittot@...aro.org,
dietmar.eggemann@....com, rostedt@...dmis.org, bsegall@...gle.com,
mgorman@...e.de, bristot@...hat.com, vschneid@...hat.com,
paulmck@...nel.org
Subject: [PATCH v2 18/24] 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.
Signed-off-by: Josh Poimboeuf <jpoimboe@...nel.org>
---
arch/x86/include/asm/smp.h | 2 +-
arch/x86/kernel/process.c | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/arch/x86/include/asm/smp.h b/arch/x86/include/asm/smp.h
index 8f628e08b25a..e6d1d2810e38 100644
--- a/arch/x86/include/asm/smp.h
+++ b/arch/x86/include/asm/smp.h
@@ -93,7 +93,7 @@ static inline void __cpu_die(unsigned int cpu)
smp_ops.cpu_die(cpu);
}
-static inline void play_dead(void)
+static inline void __noreturn play_dead(void)
{
smp_ops.play_dead();
BUG();
diff --git a/arch/x86/kernel/process.c b/arch/x86/kernel/process.c
index e57cd31bfec4..4433d13edd44 100644
--- a/arch/x86/kernel/process.c
+++ b/arch/x86/kernel/process.c
@@ -715,7 +715,7 @@ static bool x86_idle_set(void)
}
#ifndef CONFIG_SMP
-static inline void play_dead(void)
+static inline void __noreturn play_dead(void)
{
BUG();
}
--
2.39.1
Powered by blists - more mailing lists