diff options
author | 2023-02-13 23:05:52 -0800 | |
---|---|---|
committer | 2023-03-08 08:44:26 -0800 | |
commit | eab89405b6b59947ee29cc21fb39ead66142c9b5 (patch) | |
tree | afac3dd138192d3fc3bd70dfb8948d770e7d8e17 /arch/x86/kernel/process.c | |
parent | x86/cpu: Make sure play_dead() doesn't return (diff) | |
download | linux-eab89405b6b59947ee29cc21fb39ead66142c9b5.tar.gz linux-eab89405b6b59947ee29cc21fb39ead66142c9b5.tar.bz2 linux-eab89405b6b59947ee29cc21fb39ead66142c9b5.zip |
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>
Diffstat (limited to 'arch/x86/kernel/process.c')
-rw-r--r-- | arch/x86/kernel/process.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86/kernel/process.c b/arch/x86/kernel/process.c index b650cde3f64d..f1ec36caf1d8 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(); } |