projects
/
linux.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1b2442a
)
ia64/cpu: Mark play_dead() __noreturn
author
Josh Poimboeuf
<jpoimboe@kernel.org>
Tue, 14 Feb 2023 07:05:40 +0000
(23:05 -0800)
committer
Josh Poimboeuf
<jpoimboe@kernel.org>
Mon, 6 Mar 2023 23:34:05 +0000
(15:34 -0800)
play_dead() doesn't return. Annotate it as such. By extension this
also makes arch_cpu_idle_dead() noreturn.
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Link:
https://lore.kernel.org/r/7575bb38417bd8bcb5be980443f99cab29319342.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
arch/ia64/kernel/process.c
patch
|
blob
|
history
diff --git
a/arch/ia64/kernel/process.c
b/arch/ia64/kernel/process.c
index f6195a0a00aeb5dbf99e71b661ade260911acf96..78f5794b2dde7c13bd6291eabb37bd6dd3409fb3 100644
(file)
--- a/
arch/ia64/kernel/process.c
+++ b/
arch/ia64/kernel/process.c
@@
-201,7
+201,7
@@
__setup("nohalt", nohalt_setup);
#ifdef CONFIG_HOTPLUG_CPU
/* We don't actually take CPU down, just spin without interrupts. */
-static inline void play_dead(void)
+static inline void
__noreturn
play_dead(void)
{
unsigned int this_cpu = smp_processor_id();
@@
-219,7
+219,7
@@
static inline void play_dead(void)
BUG();
}
#else
-static inline void play_dead(void)
+static inline void
__noreturn
play_dead(void)
{
BUG();
}